turnstile

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

English[edit]

Wikipedia has an article on:
Wikipedia

Etymology[edit]

turn (rotating) + stile (gate)

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.