Turnstile

From testwiki
Jump to navigation Jump to search

Template:Also

English

Template:Wikipedia

Etymology

From Template:Compound.

A set of turnstiles in the USA

Pronunciation

Noun

Template:En-noun

  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.
  2. A similar device in a footpath to allow people through one at a time while preventing the passage of cattle.
  3. 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

Template:Col

Translations

Template:Trans-top

Template:Trans-bottom

References

  1. Template:Cite-web
  2. Kleene, Stephen Cole. Mathematical Logic. Mineola, New York: Dover Publications, 2002. Ch. VI, §48, p. 286.