Abstract
A prepositional logic S has the “Converse Ackermann Property” (CAP) if (A→B)→C is unprovable in S when C does not contain →. In “A Routley-Meyer semantics for Converse Ackermann Property” (Journal of Philosophical Logic, 16 (1987), pp. 65–76) I showed how to derive positive logical systems with the CAP. There I conjectured that each of these positive systems were compatible with a so-called “semiclassical” negation. In the present paper I prove that this conjecture was right. Relational Routley-Meyer type semantics are provided for each one of the resulting systems (the positive systems plus the semiclassical negation).
Similar content being viewed by others
References
W. Ackermann, Begründung einer strengen Implikation, Journal of Symbolic Logic 21 (1956), pp. 113–128.
A. R. Anderson and N. D. Belnap, Jr., Entailment: The Logic of Relevance and Necessity, Princeton University Press, Princeton, N.J., 1975.
J. M. Méndez, Systems with the Converse Ackermann Property, Theoria, Segunda Epoca 1 (1985), pp. 253–258.
J. M. Méndez, A Routley-Meyer semantics for Converse Ackermann Property, Journal of Philosophical Logic 16 (1987), pp. 65–76.
J. M. Méndez, Converse Ackermann Property and minimal negation: RΩ, RMOΩ, S4Ω ∪ RΩ and IΩ, to appear.
R. K. Meyer, On conserving positive logics, Notre Dame Journal of Formal Logic 14 (1973), pp. 224–236.
R. Routley and R. K. Meyer, Relevant Logics and their Rivals, Ridgeview, California, vol. 1, 1982.
A. Urquhart, Semantics for relevant logics, Journal of Symbolic Logic 35 (1972), pp. 159–169.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Méndez, J.M. Converse Ackermann Croperty and semiclassical negation. Stud Logica 47, 159–168 (1988). https://doi.org/10.1007/BF00370290
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370290