Turnstile
English
Etymology
From Template:Compound.

Pronunciation
Noun
- A rotating mechanical device that controls and counts passage between public areas, especially one that only allows passage after a charge has been paid.
- A similar device in a footpath to allow people through one at a time while preventing the passage of cattle.
- Template:Lb The symbol used to represent Template:W (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
Related terms
Translations
- Armenian: Template:T
- Catalan: Template:T
- Chinese:
- Cantonese: Template:T
- Mandarin: Template:T+ Template:Q, Template:T Template:Q, Template:T Template:Q
- Czech: Template:T+
- Danish: Template:T
- Dutch: Template:T+, Template:T+, Template:T
- Esperanto: Template:T
- Faroese: Template:T
- Finnish: Template:T
- French: Template:T+
- German: Template:T+
- Greek: Template:T+
- Hungarian: Template:T, Template:T, Template:T, Template:T+, Template:T+
- Icelandic: Template:T, Template:T
- Irish: Template:T
- Italian: Template:T+
- Japanese: Template:T
- Korean: Template:T
- Plautdietsch: Template:T
- Polish: Template:T+, Template:T, Template:T+, Template:T
- Portuguese: Template:T+, Template:T+, Template:T+, Template:T+
- Romanian: Template:T+
- Russian: Template:T+
- Spanish: Template:T+check, Template:T, Template:T-check, Template:T-check, Template:T-check, Template:T+
- Swedish: Template:T+
- Tagalog: Template:T
- Turkish: Template:T+
- Ukrainian: Template:T
- Vietnamese: Template:T, Template:T, Template:T, Template:T
- Welsh: Template:T, Template:T
References
- ↑ Template:Cite-web
- ↑ Kleene, Stephen Cole. Mathematical Logic. Mineola, New York: Dover Publications, 2002. Ch. VI, §48, p. 286.