✦ LIBER ✦

Mathematical Logic As Based On The Theory Of Types

✍ Scribed by Russell, Bertrand

Year: 0
Tongue: English
Weight: 2 MB
Category: Fiction

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Systems of Transfinite Type Theory Based

Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics

✍ Kenneth A. Bowen 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 953 KB

I n an earlier paper [2], using ZERMELO-FRAENXEL set theory (ZF) as metalanguage, for each ordinal 6 2 1, I introduced a system TTo of transfinite type theory formulated in GENTZEN'S sequentzen style [3]. The notion of sequent and the rules of inference were straightforward generalizations of those

Mathematics as logical syntax — a method

Mathematics as logical syntax — a method to formalize the language of a physical theory

✍ Martin Strauss 📂 Article 📅 1937-1938 🏛 Springer 🌐 English ⚖ 381 KB

On the Theory of Types

✍ Quine, W V 📂 Fiction 📅 0 🌐 English ⚖ 1 MB

Reduction of arithmetic to logic based o

Reduction of arithmetic to logic based on the theory of types without the axiom of infinity and the typical ambiguity of arithmetical constants

✍ Ludwik Borkowski 📂 Article 📅 1958 🏛 Springer Netherlands 🌐 English ⚖ 507 KB

A typed calculus based on a fragment of

A typed calculus based on a fragment of linear logic

✍ Ugo Solitro 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 469 KB

Fuzzy logic circulation types based on t

Fuzzy logic circulation types based on the Osuchowska-Klein classification system created for Poland

✍ Jadwiga Woyciechowska; Zbigniew Ustrnul 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 522 KB