✦ LIBER ✦

Epistemic Set Theory is a Conservative Extension of Intuitionistic Set Theory

✍ Scribed by R. C. Flagg

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Epistemic Arithmetic is a Conservative E

✍ Nicolas D. Goodman 📂 Article 📅 1984 🏛 Association for Symbolic Logic 🌐 English ⚖ 233 KB

A Quasi-Intuitionistic Set Theory

✍ Leslie H. Tharp 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 436 KB

Proof-theoretic conservations of weak we

✍ Gordeev, Lev 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 386 KB

Axiomatic theory of intuitionistic fuzzy

✍ Mustafa Demirci 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 128 KB

Should the Logic of Set Theory be Intuit

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

An Extension of Ackermann's Set Theory

✍ Donald Perlis 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 123 KB