Definify.com
Webster 1913 Edition
Turnstile
Turn′stileˊ
,Noun.
1.
A revolving frame in a footpath, preventing the passage of horses or cattle, but admitting that of persons; a turnpike. See , 1.
Turnpike
, Noun.
2.
A similar arrangement for registering the number of persons passing through a gateway, doorway, or the like.
Webster 1828 Edition
Turnstile
TURN'STILE
,Noun.
Definition 2024
turnstile
turnstile
See also: turn-stile
English
Noun
turnstile (plural turnstiles)
- A rotating mechanical device that controls and counts passage between public areas, especially one that only allows passage after a charge has been made.
- (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
- (mathematics, logic): double turnstile
Translations
rotating mechanical device
|
|
References
- ↑ http://www.uky.edu/~look/Phi520-Lecture4.pdf
- ↑ Kleene, Stephen Cole. Mathematical Logic. Mineola, New York: Dover Publications, 2002. Ch. VI, §48, p. 286.
