✦ LIBER ✦

Spatiality and classical logic

✍ Scribed by Milena Stefanova; Silvio Valentini

Publisher: John Wiley and Sons
Year: 2011
Tongue: English
Weight: 109 KB
Volume: 57
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.201010020

No coin nor oath required. For personal study only.

✦ Synopsis

per le nuove tecnologie, l'energia e lo sviluppo economico sostenibile (ENEA), Technical Unit for Environmental Assessment Models, Methods and Technologies, via Martiri di Monte Sole n. 4,

📜 SIMILAR VOLUMES

Embedding Classical Logic in Intuitionis

Embedding Classical Logic in Intuitionistic Logic

✍ John Myhill 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 183 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

Intuitionistic Choice and Restricted Cla

Intuitionistic Choice and Restricted Classical Logic

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

ON SOME INTERPRETATIONS OF CLASSICAL LOG

ON SOME INTERPRETATIONS OF CLASSICAL LOGIC

✍ Branislav R. Boričić; B. R. Boričić 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 198 KB

## Abstract In distinction from the well‐known double‐negation embeddings of the classical logic we consider some variants of single‐negation embeddings and describe some classes of superintuitionistic first‐order predicate logics in which the classical first‐order calculus is interpretable in such

Isomorphic formulae in classical proposi

Isomorphic formulae in classical propositional logic

✍ Kosta Došen; Zoran Petrić 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 170 KB

## Abstract Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This equality is motivated by generality of deductions.

Modal logic and classical logic, Humanit

Modal logic and classical logic, Humanities press: J. van Benthem, 1983, 234 pp.

✍ Gian-Carlo Rota 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 53 KB