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.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

noundouble turnstile (plural double turnstiles)

plural double turnstiles

  1. model theoryhuman sciencesThe ⊨ 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.
Cite this entry
APA

double turnstile. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/double%20turnstile

MLA

“double turnstile.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/double%20turnstile. Accessed November 4, 2026.

Chicago

WatkinsX Dictionary, s.v. “double turnstile,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/double%20turnstile.

Source: double turnstile on Wiktionary, CC BY-SA 4.0.