double turnstile
English
Noun
double turnstile (plural double turnstiles)
- (logic, 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.
This article is issued from
Wiktionary.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.