Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'

View Related Documents

Journal Article
A Natural Negation Completion of Urquhart's Many-Valued Logic C
José M. Mendez and Francisco Salto
Journal of Philosophical Logic, 1998, Volume 27, Number 1, Pages 75-84
- Download PDF (317.3 KB)
Book Chapter
Proof theory of fuzzy logics: Urquhart's C and related logics
Matthias Baaz, Agata Ciabattoni, Christian Fermüller and Helmut Veith
Lecture Notes in Computer Science, 1998, Volume 1450, Mathematical Foundations of Computer Science 1998, Pages 203-212
- Download PDF (523.9 KB)
Book Chapter
Kripke Models
The University Series in Mathematics, 2002, A Short Introduction to Intuitionistic Logic, Pages 47-52
- Download PDF (840.8 KB)
Book Chapter
Deciding intuitionistic propositional logic via translation into classical logic
Daniel S. Korn and Christoph Kreitz
Lecture Notes in Computer Science, 1997, Volume 1249, Automated Deduction—CADE-14, Pages 131-145
- Download PDF (950.4 KB)
Journal Article
The basic constructive logic for a weak sense of consistency
Gemma Robles and José M. Méndez
Journal of Logic, Language and Information, 2008, Volume 17, Number 1, Pages 89-107
- Download PDF (190.8 KB)
- View HTML
Journal Article
Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics
A.D. Yashin
Algebra and Logic, 2002, Volume 41, Number 1, Pages 59-64
- Download PDF (3.6 KB)
Book Chapter
Tableaux for logic programming with strong negation
Seiki Akama
Lecture Notes in Computer Science, 1997, Volume 1227, Automated Reasoning with Analytic Tableaux and Related Methods, Pages 31-42
- Download PDF (636.1 KB)
Journal Article
A Routley-Meyer Type Semantics for Relevant Logics Including B_r Plus the Disjunctive Syllogism
Gemma Robles and José M. Méndez
Journal of Philosophical Logic, 2010, Volume 39, Number 2, Pages 139-158
- Download PDF (375.2 KB)
Journal Article
Brogaard and Salerno on antirealism and the conditional fallacy
Luca Moretti
Philosophical Studies, 2008, Volume 140, Number 2, Pages 229-246
- Download PDF (280.7 KB)
- View HTML
Book Chapter
Some of Julius König’s mathematical dreams in his New Foundations of Logic, Arithmetic, and Set Theory
Marcel Guillaume
Publications des Archives Henri-Poincaré Publications of the Henri Poincaré Archives, 2008, One Hundred Years of Intuitionism (1907–2007), Part II, Pages 178-197
- Download PDF (312.6 KB)

Abstract

Routley-Meyer type relational complete semantics are constructed for intuitionistic contractionless logic with reductio. Different negation completions of positive intuitionistic logic without contraction are treated in a systematical, unified and semantically complete setting.

contractionless logic - intuitionistic logic - substructural logic - negation - reductio

Fulltext Preview

Image of the first page of the fulltext document

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us

SpringerLink

Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'

View Related Documents

Abstract

Fulltext Preview