Studia Logica 47 (2):159 - 168 (1988)
|Abstract||A prepositional logic S has the Converse Ackermann Property (CAP) if (AB)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).|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Mark Kaminski & Gert Smolka (2009). Terminating Tableau Systems for Hybrid Logic with Difference and Converse. Journal of Logic, Language and Information 18 (4):437-464.
José M. Méndez (1987). A Routley-Meyer Semantics for Converse Ackermann Property. Journal of Philosophical Logic 16 (1):65 - 76.
Jose A. Mendez (1987). A Routley-Meyer Semantics For Converse Ackermann Property. Journal of Philosophical Logic 16 (February):65-76.
Gemma Robles & José M. Méndez (2011). A Routley-Meyer Semantics for Relevant Logics Including TWR Plus the Disjunctive Syllogism. Logic Journal of the IGPL 19 (1):18-32.
Gemma Robles & José M. Méndez (2010). A Routley-Meyer Type Semantics for Relevant Logics Including B R Plus the Disjunctive Syllogism. Journal of Philosophical Logic 39 (2):139 - 158.
Edwin D. Mares (1995). A Star-Free Semantics for R. Journal of Symbolic Logic 60 (2):579 - 590.
Seiki Akama (1990). Subformula Semantics for Strong Negation Systems. Journal of Philosophical Logic 19 (2):217 - 226.
A. Matzkin & V. Nurock, Are Bohmian Trajectories Real? On the Dynamical Mismatch Between de Broglie-Bohm and Classical Dynamics in Semiclassical Systems.
Arnon Avron (2005). A Non-Deterministic View on Non-Classical Negations. Studia Logica 80 (2-3):159 - 194.
José M. Méndez (1985). Systems with the Converse Ackermann Property. Theoria 1 (1):253-258.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #291,386 of 722,776 )
Recent downloads (6 months)0
How can I increase my downloads?