System T

Uses your system voice; voice and rate in settings.

Snapshot

≈ 1 min read

Names in other languages

No names in other languages are held for this entry yet.

Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.

In mathematics, System T can refer to: * A theory of arithmetic in all finite types used in Gödel's Dialectica interpretation * An axiom system of modal logic

In mathematics, System T can refer to: A theory of arithmetic in all finite types used in Gödel's Dialectica interpretation An axiom system of modal logic

Text derived from https://en.wikipedia.org/w/index.php?oldid=1194336708 under CC BY-SA 4.0; modifications have been made.

Sources cited in this revision

No external citation was extracted for this revision. That is a statement about the source, not a claim that none exists.