✦ LIBER ✦

Intuitionistic Modal Logic and Set Theory

✍ Scribed by K. Lano

Book ID: 111902112
Publisher: Association for Symbolic Logic
Year: 1991
Tongue: English
Weight: 386 KB
Volume: 56
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2274696

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Set theory as modal logic

✍ Herman Dishkant 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 601 KB

On an Intuitionistic Modal Logic

✍ G. M. Bierman; V. C. V. de Paiva 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 363 KB

Should the Logic of Set Theory be Intuit

Should the Logic of Set Theory be Intuitionistic?

✍ Alexander Paseau 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 95 KB

Nonfinitely approximable intuitionistic

Nonfinitely approximable intuitionistic modal logics

✍ V. Kh. Sotirov 📂 Article 📅 1980 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 237 KB

Intuitionistic Modal Logic and Applicati

Intuitionistic Modal Logic and Applications (IMLA 2008)

✍ Valeria de Paiva; Brigitte Pientka 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 76 KB

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