A Quasi-Discursive System $ND_2^+$
Ciuciura, Janusz
Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, p. 371-384 / Harvested from Project Euclid
Discursive (or discussive) logic, D₂, introduced by Jaśkowski, is widely recognized as a first formal approach to paraconsistency. Jaśkowski applied a quite extraordinary technique at that time to describe his logic. He neither gave a set of the axiom schemata nor presented a direct semantics for D₂ but used a translation function to express his philosophical and logical intuitions. Discursive logic was defined by an interpretation in the language of S₅ of Lewis. The aim of this paper is to present a modified system of the discursive logic that allows some of the weaker versions of Duns Scotus's thesis to be valid. The initial idea is to consider a different characteristic of the connective of negation. We introduce both a direct semantics and an axiomatization of the new system, prove the key metatheorems, and describe labeled tableaux for the system.
Publié le : 2006-07-14
Classification:  discursive (discussive) logic,  D2,  paraconsistent logic,  03B53
@article{1163775444,
     author = {Ciuciura, Janusz},
     title = {A Quasi-Discursive System $ND\_2^+$},
     journal = {Notre Dame J. Formal Logic},
     volume = {47},
     number = {1},
     year = {2006},
     pages = { 371-384},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1163775444}
}
Ciuciura, Janusz. A Quasi-Discursive System $ND_2^+$. Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, pp.  371-384. http://gdmltest.u-ga.fr/item/1163775444/