Bulletin of the Section of Logic 30 (3):139-146 (2001)
Authors |
|
Abstract |
LCo with the Converse Ackermann Property is defined as the result of restricting Contraction in LC. Intuitionistic and Superintuitionistic Negation is shown to be compatible with the CAP.
|
Keywords | Converse Ackermann Property Relevance Logics Contractionless logics Substructural Logics |
Categories | (categorize this paper) |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Converse Ackermann Property and Constructive Negation Defined with a Negation Connective.Gemma Robles & José M. Méndez - 2006 - Logic and Logical Philosophy 15 (2):113-130.
Two Versions of Minimal Intuitionism with the Cap. A Note.Gemma Robles & José M. Méndez - 2005 - Theoria 20 (2):183-190.
Two Versions of Minimal Intuitionism with the CAP. A Note.Gemma Robles & José M. Méndez - 2005 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 20 (2):183-190.
Similar books and articles
Converse Ackermann Property and Constructive Negation Defined with a Negation Connective.Gemma Robles & José M. Méndez - 2006 - Logic and Logical Philosophy 15 (2):113-130.
Converse Ackermann Croperty and Semiclassical Negation.José M. Méndez - 1988 - Studia Logica 47 (2):159 - 168.
Urquhart's C with Intuitionistic Negation: Dummett's LC Without the Contraction Axiom.José M. Méndez & Francisco Salto - 1995 - Notre Dame Journal of Formal Logic 36 (3):407-413.
A Modal Restriction of R-Mingle with the Variable-Sharing Property.Gemma Robles, José M. Méndez & Francisco Salto - 2010 - Logic and Logical Philosophy 19 (4):341-351.
A Weak Logic with the Axiom Mingle Lacking the Variable-Sharing Property.Gemma Robles, Francisco Salto & José M. Méndez - 2011 - Bulletin of the Section of Logic 40 (3/4):195-202.
A Routley-Meyer Semantics for Converse Ackermann Property.José M. Méndez - 1987 - Journal of Philosophical Logic 16 (1):65 - 76.
A Routley-Meyer Semantics For Converse Ackermann Property.Jose A. Mendez - 1987 - Journal of Philosophical Logic 16 (February):65-76.
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening.A. Avron - 1998 - Journal of Symbolic Logic 63 (3):831-859.
Systems with the Converse Ackermann Property.José Manuel Méndez Rodríguez - 1985 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (1):253-258.
A Routley-Meyer Semantics for Relevant Logics Including TWR Plus the Disjunctive Syllogism.Gemma Robles & José M. Méndez - 2011 - Logic Journal of the IGPL 19 (1):18-32.
Formulas for Which Contraction is Admissible.A. Avron - 1998 - Logic Journal of the IGPL 6 (1):43-48.
Adding the Disjunctive Syllogism to Relevant Logics Including TW Plus the Contraction and Reductio Rules.Jose M. Mendez, Gemma Robles & Francisco Salto - 2011 - Logique Et Analyse 54 (215):343-358.
The Possibility of Unicorns and Modal Logic.Lee Walters - 2014 - Analytic Philosophy 55 (2):295-305.
Analytics
Added to PP index
2014-01-19
Total views
23 ( #492,788 of 2,506,491 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,491 )
2014-01-19
Total views
23 ( #492,788 of 2,506,491 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,491 )
How can I increase my downloads?
Downloads