✦ LIBER ✦

A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic

✍ Scribed by Kosta Došen

Publisher: Springer Netherlands
Year: 1981
Tongue: English
Weight: 360 KB
Volume: 10
Category: Article
ISSN: 0022-3611
DOI: 10.1007/bf00248734

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Expressive Force of Some Fragments o

The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames

✍ P. H. Rodenburg 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 323 KB 👁 1 views

Simple proof of the completeness theorem

Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic

✍ Karim Nour; Christophe Raffalli 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 241 KB

We present a simpler way than usual to deduce the completeness theorem for the second-order classical logic from the ÿrst-order one. We also extend our method to the case of second-order intuitionistic logic.

The completeness of intuitionistic logic

The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle

✍ Peter Schroeder-Heister 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 857 KB