turnstile

Definition from Wiktionary, the free dictionary
Jump to navigation Jump to search
See also: turn-stile

English[edit]

English Wikipedia has an article on:
Wikipedia

Etymology[edit]

turn +‎ stile

A set of turnstiles in the USA

Pronunciation[edit]

Noun[edit]

turnstile (plural turnstiles)

  1. A rotating mechanical device that controls and counts passage between public areas, especially one that only allows passage after a charge has been made.
  2. (mathematics, logic) The symbol used to represent logical entailment (deducibility relation), especially of the syntactic type; i.e., syntactic consequence. (Such symbol can be read as "prove(s)" [1] or "give(s)". [2])

Related terms[edit]

Translations[edit]

References[edit]

  1. ^ http://www.uky.edu/~look/Phi520-Lecture4.pdf
  2. ^ Kleene, Stephen Cole. Mathematical Logic. Mineola, New York: Dover Publications, 2002. Ch. VI, §48, p. 286.