Converse Ackermann Croperty and semiclassical negation

Abstract

A propositional 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… (More)
DOI: 10.1007/BF00370290

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics