turnstile
Jump to navigation
Jump to search
See also: turn-stile
English[edit]
Etymology[edit]
Pronunciation[edit]
Noun[edit]
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 paid.
- 1941 May, “Jubilee of the City Tube”, in Railway Magazine, page 224:
- The fare was fixed at 2d., irrespective of distance, and was paid by passengers on passing through turnstiles at each station.
- A similar device in a footpath to allow people through one at a time while preventing the passage of cattle.
- (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])
Derived terms[edit]
Related terms[edit]
- (mathematics, logic): double turnstile
Translations[edit]
rotating mechanical device
|
References[edit]
- ^ “Archived copy”, in (Please provide the book title or journal name)[1], 2012 November 21 (last accessed), archived from the original on 9 November 2011
- ^ Kleene, Stephen Cole. Mathematical Logic. Mineola, New York: Dover Publications, 2002. Ch. VI, §48, p. 286.