Logic and Logical Philosophy 15 (2):113-130 (2006)

Authors
Gemma Robles
Universidad de León
José M. Méndez
Universidad de Salamanca
Abstract
The Converse Ackermann Property is the unprovability of formulas of the form (A -> B) -> C when C does contain neither -> nor ¬. Intuitively, the CAP amounts to rule out the derivability of pure non-necessitive propositions from non-necessitive ones. A constructive negation of the sort historically defined by, e.g., Johansson is added to positive logics with the CAP in the spectrum delimited by Ticket Entailment and Dummett’s logic LC
Keywords converse Ackermann property, constructive negation, relational ternary semantics, Relevance logics
Categories (categorize this paper)
DOI 10.12775/LLP.2006.007
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,291
Through your library

References found in this work BETA

Logics Without the Contraction Rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
A Routley-Meyer Semantics for Converse Ackermann Property.José M. Méndez - 1987 - Journal of Philosophical Logic 16 (1):65 - 76.
The Logic B and the Reductio Axioms.Gemma Robles & José M. Méndez - 2004 - Bulletin of the Section of Logic 33 (2):87-94.

View all 6 references / Add more references

Citations of this work BETA

Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
A Constructive Negation for Logics Including TW+.Gemma Robles & José M. Méndez - 2005 - Journal of Applied Non-Classical Logics 15 (4):389-404.

Add more citations

Similar books and articles

A Constructive Negation for Logics Including TW+.Gemma Robles & José M. Méndez - 2005 - Journal of Applied Non-Classical Logics 15 (4):389-404.
The Basic Constructive Logic for Negation-Consistency.Gemma Robles - 2008 - Journal of Logic, Language and Information 17 (2):161-181.
The Basic Constructive Logic for a Weak Sense of Consistency.Gemma Robles & José M. Méndez - 2008 - Journal of Logic, Language and Information 17 (1):89-107.
The Basic Constructive Logic for Absolute Consistency.José M. Méndez & Gemma Robles - 2009 - Journal of Logic, Language and Information 18 (2):199-216.
On Extensions of Intermediate Logics by Strong Negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.
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.

Analytics

Added to PP index
2013-11-24

Total views
20 ( #541,070 of 2,456,095 )

Recent downloads (6 months)
1 ( #449,533 of 2,456,095 )

How can I increase my downloads?

Downloads

My notes