turnstile

turnstile

See also: turn-stile

English

Etymology

turn +‎ stile

A set of turnstiles in the USA

Pronunciation

• (UK) IPA^(key): /ˈtɜːnstaɪl/
• (US) IPA^(key): /ˈtɝnstaɪl/

• Audio (US)

  (file)

Noun

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 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.

2. A similar device in a footpath to allow people through one at a time while preventing the passage of cattle.
3. (mathematics, logic) The ${\\displaystyle \\vdash }$ 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

Armenian: պտուտակադռնակ (ptutakadṙnak) Catalan: torniquet Chinese: Cantonese: 閘機, 闸机 (zaap6 gei1) Mandarin: 閘機／闸机 (zhájī) (mainland China), 通關機／通关机 (tōngguānjī) (Taiwan), 驗票閘門／验票闸门 (yànpiào zhámén) (Taiwan) Czech: turniket (cs) m Danish: drejekors Dutch: tourniquet (nl), draaihek (nl) n, draaikruis n Esperanto: turnbariero Faroese: krossbummur m Finnish: kääntöportti French: tourniquet (fr) m German: Drehkreuz (de) n Irish: geata casta m Italian: tornello (it) m Japanese: 自動改札機 (じどうかいさつき, jidō kaisatsuki) Korean: 개집표기 (gaejip'pyogi) Plautdietsch: Dreipuat n Polish: kołowrót (pl) m, turnikiet m, bramka (pl) f Portuguese: roleta (pt), catraca (pt), borboleta (pt) f, torniquete (pt) m Romanian: turnichet (ro) Russian: турнике́т (ru) m (turnikét) Spanish: molinete (es) m, torniquete m, tornante m, roleta f, tornelo m Swedish: vändkors (sv) Tagalog: biling-bilingan Turkish: turnike (tr) Ukrainian: турніке́т m (turnikét) Vietnamese: cổng xoay, cổng quay, cửa xoay, cửa quay Welsh: giât dro f, llidiart tro m

References

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.