Journal of Philosophical Logic 30 (1):51-55 (2001)
Urquhart and Méndez and Salto claim to establish completeness theorems for the system C and two of its negation extensions. In this note, we do the following three things: (1) provide a counterexample to all of these alleged completeness theorems, (2) attempt to diagnose the mistakes in the reported completeness proofs, and (3) provide complete axiomatizations of the desired systems
|Keywords||completeness substructural logic many-valued matrix|
|Categories||categorize this paper)|
References found in this work BETA
Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.
Citations of this work BETA
No citations found.
Similar books and articles
Urquhart's C with Intuitionistic Negation: Dummett's LC Without the Contraction Axiom.José Méndez & Francisco Salto - 1995 - Notre Dame Journal of Formal Logic 36 (3):407-413.
Completeness Theorems for Some Intermediate Predicate Calculi.Pierluigi Minari - 1983 - Studia Logica 42 (4):431 - 441.
Syntactical Results on the Arithmetical Completeness of Modal Logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
A Unified Completeness Theorem for Quantified Modal Logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Completeness Theorems Via the Double Dual Functor.Adriana Galli, Marta Sagastume & Gonzalo E. Reyes - 2000 - Studia Logica 64 (1):61-81.
A Natural Negation Completion of Urquhart's Many-Valued Logic C.José M. Mendez & Francisco Salto - 1998 - Journal of Philosophical Logic 27 (1):75-84.
Added to index2009-01-28
Total downloads46 ( #110,203 of 2,152,483 )
Recent downloads (6 months)1 ( #399,782 of 2,152,483 )
How can I increase my downloads?