Converse Ackermann property and constructive negation defined with a negation connective

Gemma Robles, José M. Méndez



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.


converse Ackermann property, constructive negation, relational ternary semantics, Relevance logics

Full Text:



Anderson, A.R., and N.D. Jr. Belnap, Entailment. The Logic of Relevance and Necessity, vol. I. Princeton University Press, 1975.

Anderson, A.R., N.D. Belnap Jr., and J.M. Dunn, Entailment. The Logic of Relevance and Necessity, vol. II. Princeton University Press, 1992.

Johansson, I., “Der Minimal Kalkül, ein reduzierte intuitionistischer Formalismus”, Compositio Mathematica, 119–136, 1936.

Kamide, N., “A canonical model construction for substructural logics with strong negation”, Reports on Mathematical Logic, 36, 95–116, 2002.

Kolmogorov, A.N., “On the principle of tertium non datur”. In: Van Heijenoort, From Hegel to Gödel, C.U.P., pp. 414–437, 1967.

Kowalski, T., and H. Ono, Residuated Lattices: an algebaric glimpse at logics without contraction (preliminary report). JAIST, 2000.

Méndez, J.M., “A Routley-Meyer semantics for converse Ackermann Property”, Journal of Philosophical Logic, 16, 65–76, 1987.

Méndez, J.M., “Converse Ackermann Property and semiclassical negation”, Studia Logica, 47, 159–168, 1988.

Ono, H., and Y. Komori, “Logics without the contraction rule”, Journal of Symbolic Logic, 50, 169–201, 1985.

Robles, G., and J.M. Méndez, “The logic B and the reductio axioms”, Bulletin of the Section of Logic, 33, 87–94, 2004.

Robles, G., J.M. Méndez, F. Salto, and P.Méndez R., “Intuitionistic Propositional Logic with the Converse Ackermann Property”, Teorema, 22, 43–54, 2003.

Salto, F., J.M. Méndez, and G. Robles, “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, 139–146, 2001.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism