✦ LIBER ✦

An algebraic axiomatization of the Ewald’s intuitionistic tense logic

✍ Scribed by Figallo, Aldo V.; Pelaitay, Gustavo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic axiomatization of tense intuit

✍ Ivan Chajda 📂 Article 📅 2011 🏛 SP Versita 🌐 English ⚖ 290 KB

Notes Towards an Axiomatization of Intui

✍ Review by: R. E. Vesley 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 210 KB

An Algebraic Study of Tense Logics with

✍ R. A. Bull 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 888 KB

Tense-Logic and the Continuity of Timeby

✍ Review by: Alan Ross Anderson 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 301 KB

Undecidability of the Real-Algebraic Str

✍ Miklós Erdélyi-Szabó 📂 Article 📅 2000 🏛 Association for Symbolic Logic 🌐 English ⚖ 378 KB

An Algebraic Study of Tense Logics with

✍ Review by: Nino B. Cocchiarella 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 199 KB