✦ LIBER ✦

Axioms for classical, intuitionistic, and paraconsistent hybrid logic

✍ Scribed by Torben Braüner

Publisher: Springer Netherlands
Year: 2006
Tongue: English
Weight: 389 KB
Volume: 15
Category: Article
ISSN: 0925-8531
DOI: 10.1007/s10849-006-9013-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Intuitionistic choice and classical logi

Intuitionistic choice and classical logic

✍ Thierry Coquand; Erik Palmgren 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 141 KB

Combining classical logic, paraconsisten

Combining classical logic, paraconsistency and relevance

✍ Arnon Avron 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 289 KB

We present a logic with has both a simple semantics and a cut-free Gentzen-type system on one hand, and which combines relevance logics, da Costa's paraconsistent logics, and classical logic on the other. We further show that the logic has many other nice properties, and that its language is ideal f

Embedding Classical Logic in Intuitionis

Embedding Classical Logic in Intuitionistic Logic

✍ John Myhill 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

Intuitionistic Choice and Restricted Cla

Intuitionistic Choice and Restricted Classical Logic

✍ Ulrich Kohlenbach 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 133 KB

An Intuitionistic Completeness Theorem f

An Intuitionistic Completeness Theorem for Classical Predicate Logic

✍ Victor N. Krivtsov 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 177 KB

The Demarcation Line Between Intuitionis

The Demarcation Line Between Intuitionist Logic and Classical Logic

✍ Hugues Leblanc; Richmond H. Thomason 📂 Article 📅 1966 🏛 John Wiley and Sons 🌐 English ⚖ 356 KB

2) L-sequents were systematically studied by G. GENTZEN in his 1934 memoir, whereas N -3) All seven of the operators in question are understood here to be primitive. 4) In the absence of a handy criterion of I-validity, A may be taken to be I-valid if and only 5) The column in question will occasion