### Symmetric and dual paraconsistent logics

DOI: http://dx.doi.org/10.12775/LLP.2010.002

#### Abstract

#### Keywords

#### Full Text:

PDF#### References

O. Arieli, and A. Avron, “Reasoning with logical bilattices”, Journal of

Logic, Language and Information 5 (1996): 25–63.

N.D. Belnap, “A useful four-valued logic”, pp. 7–37 in: Modern Uses of Multiple-Valued Logic, G. Epstein and J.M. Dunn (eds.), Dordrecht: Reidel, 1977.

L. Buisman and R. Goré, “A cut-free sequent calculus for bi-intuitionistic logic”, pp. 90–106 in: Proceedings of TABLEAUX 2007, Lecture Notes in Artificial Intelligence 4545, 2007.

N.C.A. da Costa, J.-Y. Béziau, and O.A.S. Bueno, “Aspects of paraconsistent logic”, Bulletin of the IGPL 3, 4 (1995): 597–614.

T. Crolard, “Subtractive logic”, Theoretical Computer Science 254 (2001): 151–185.

Y. Gurevich, “Intuitionistic logic with strong negation”, Studia Logica 36 (1977): 49–59.

P. Łukowski, “A deductive-reductive form of logic: general theory and intuitionistic case”, Logic and Logical Philosophy 10 (2002): 59–78.

D. Nelson, “Constructible falsity”, Journal of Symbolic Logic 14 (1949): 16–26.

D. Nelson, “Negation and separation of concepts in constructive systems”, pp. 208-225 in: A. Heyting (ed.), Constructivity in Mathematics, North-Holland, Amsterdam, 1959.

G. Priest, “Paraconsistent Logic”, pp. 287–393 in: Handbook of Philosophical Logic (Second Edition), Vol. 6, D. Gabbay and F. Guenthner (eds.), Kluwer Academic Publishers, Dordrecht, 2002.

C. Rauszer, “A formalization of the propositional calculus of H-B logic”, Studia Logica 33 (1974): 23–34.

W. Rautenberg, Klassische und nicht-klassische Aussagenlogik, Vieweg, Braunschweig, 1979.

G. Takeuti, Proof Theory, North-Holland Publishing Company, 1975.

N.N. Vorob’ev, “A constructive propositional calculus with strong negation” (in Russian), Doklady Akademii Nauk SSR 85 (1952): 465–468.

H. Wansing, The logic of information structures, Lecture Notes in Artificial Intelligence 681, 163 pages, 1993.

H. Wansing, “Constructive negation, implication, and co-implication”, Journal of Applied Non-Classical Logics 18 (2008): 341–364.

ISSN: 2300-9802 (electronic version)