double turnstiles
double turnstiles is the plural of double turnstile.
Meaning of double turnstile
Noun
double turnstile (plural double turnstiles)
- The ⊨ symbol used to denote semantic consequence, or the ⊧ symbol used to denote the fact that the model to the left of it satisfies the set of sentences to its right.
Questions about double turnstiles
- What is double turnstiles the plural of?
- Double turnstiles is the plural of double turnstile.
Words near double turnstiles in the dictionary
Source and license
Adapted from Wiktionary: double turnstiles (page history and authors); double turnstile (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “double turnstiles.” Word.ws, https://word.ws/double_turnstiles. Based on Wiktionary, CC BY-SA 4.0.
