✦ LIBER ✦

A Predicate Logical Extension of a Subintuitionistic Propositional Logic

✍ Scribed by Ernst Zimmermann

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Predicate Logical Extensions of some Sub

✍ Ernst Zimmermann 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 180 KB

Propositional Logic as a Propositional F

✍ Benjamín René Callejas Bedregal; Anderson Paiva Cruz 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 175 KB

A Translation of Intuitionistic Predicat

✍ Mohammad Ardeshir 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 313 KB

A Bounded Translation of Intuitionistic

✍ Mojtaba Aghaei; Mohammad Ardeshir 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 175 KB

Towards a fuzzy logic programming system

✍ Paul C. Rhodes; Sabah Merad Menani 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 1017 KB

Towards a Logic of Perishable Propositio

✍ Flavio Soares Correa da Silva 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 173 KB