Restricting the contraction axiom in Dummett's LC: a sublogic of LC with the Converse Ackermann Property, the logic LCo

, &
Bulletin of the Section of Logic 30 (3):139-146 (2001)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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.
Kernel contraction.Sven Ove Hansson - 1994 - Journal of Symbolic Logic 59 (3):845-859.
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
2014-01-19

Downloads
33 (#470,805)

6 months
7 (#425,192)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

José M. Méndez
Universidad de Salamanca
Francisco Salto
Universidad de León
Gemma Robles
Universidad de León

Citations of this work

Two versions of minimal intuitionism with the CAP. A note.Gemma Robles & José Méndez - 2010 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 20 (2):183-190.

Add more citations

References found in this work

No references found.

Add more references