double turnstile

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Wikipedia has an article on:

Wikipedia

Noun[edit]

double turnstile (plural double turnstiles)

  1. (logic, model theory) The \vDash symbol used to denote semantic consequence, or the \models symbol used to denote the fact that the model to the left of it satisfies the set of sentences to its right.

Related terms[edit]