double turnstiles

A form of double turnstile — 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.

Meanings

noun
  1. pluralplural of double turnstile
Cite this entry
APA

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

MLA

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

Chicago

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

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