-Compatible Transitive Extensions of System CT Logique et Analyse
Graduate studies at Western
|Abstract||Da Costa's paraconsistent systems of the series Cm (for finite m) (see [C1], [C2], and esp. [C3], pp. 237ff.) share important features with transitive logic, TL (which has been gone into in [P1] and [P2]), namely, they all coincide in that: (c1) they possess a strong negation, `¬', a conditional, `⊃', a conjunction, `∧', and a disjunction, `∨', with respect to which they are conservative extensions of CL or Classical Logic; (c2) they possess a non strong negation, `N' (notations are different for systems C) which does not possess all properties of classical negation, but for which the following schemata are theorematic (I use the letters `p', `q', etc as schematic letters; my notational conventions are basically Church's: associativity leftwards; a dot stands for..|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|External links||This entry has no external links. Add one.|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Andrzej Sendlewski (1995). Axiomatic Extensions of the Constructive Logic with Strong Negation and the Disjunction Property. Studia Logica 55 (3):377 - 388.
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
David Pearce & Agustín Valverde (2005). A First Order Nonmonotonic Extension of Constructive Logic. Studia Logica 80 (2-3):321 - 346.
Francesco Berto (2006). Characterizing Negation to Face Dialetheism. Logique et Analyse 49 (195):241-263.
Marcus Kracht (1990). An Almost General Splitting Theorem for Modal Logic. Studia Logica 49 (4):455 - 470.
W. J. Blok & J. Rebagliato (2003). Algebraic Semantics for Deductive Systems. Studia Logica 74 (1-2):153 - 180.
Dimiter Vakarelov (2005). Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Studia Logica 80 (2-3):393 - 430.
Gregory L. McColm (1995). The Dimension of the Negation of Transitive Closure. Journal of Symbolic Logic 60 (2):392-414.
Marcus Kracht (1998). On Extensions of Intermediate Logics by Strong Negation. Journal of Philosophical Logic 27 (1):49-73.
Sorry, there are not enough data points to plot this chart.
Added to index2009-03-06
Recent downloads (6 months)0
How can I increase my downloads?