Word.ws English Dictionary

double turnstile

double turnstile noun: 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.

Noun

double turnstile (plural double turnstiles)

  1. (model theory) 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.

Forms of double turnstile

pluraldouble turnstiles

Questions about double turnstile

What does double turnstile mean?
Double turnstile means 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.
What part of speech is double turnstile?
Double turnstile is a noun.
What is the plural of double turnstile?
The plural of double turnstile is double turnstiles.

Words near double turnstile in the dictionary

  1. double trombone
  2. double trombones
  3. double trouble
  4. double truck
  5. double trucks
  6. double turnstile
  7. double turnstiles
  8. double U
  9. double uncle
  10. double uncles
  11. double up

Source and license

Adapted from Wiktionary: 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 turnstile.” Word.ws, https://word.ws/double_turnstile. Based on Wiktionary, CC BY-SA 4.0.