A System of Paraconsistent Logic Equipped with Classical Negation

&
Journal of the Japan Association for Philosophy of Science 36 (1):9-18 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.4288/kisoron.36.1_9

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,174

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Some new results on PCL1 and its related systems.Toshiharu Waragai & Hitoshi Omori - 2010 - Logic and Logical Philosophy 19 (1-2):129-158.
On Extensions of a System of Paraconsistent Logic PCL1.Hitoshi Omori & Toshiharu Waragai - 2012 - Journal of the Japan Association for Philosophy of Science 39 (2):51-68.
Liberating classical negation from falsity conditions.Damian Szmuc & Hitoshi Omori - 2022 - Proceedings of the 52nd International Symposium on Multiple-Valued Logic (ISMVL 2022).
Contradictoriness, Paraconsistent Negation and Non-intended Models of Classical Logic.Carlos A. Oller - 2016 - In H. Andreas and P. Verdée (ed.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics, Trends In Logic. pp. 103-110.
Book review: Carnielli, W., Coniglio, M. paraconsistent logic: Consistency, contradiction and negation. Logic, epistemology, and the unity of science series. [REVIEW]Henrique Antunes & Vincenzo Ciccarelli - 2018 - Manuscrito 41 (2):111-122.
Paraconsistency in classical logic.Gabriele Pulcini & Achille C. Varzi - 2018 - Synthese 195 (12):5485-5496.
Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.
Idempotent Full Paraconsistent Negations are not Algebraizable.Jean- Yves Beziau - unknown
Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic.Peter Verdée - 2020 - Synthese 198 (S22):5415-5449.
Paraconsistent Double Negations as Classical and Intuitionistic Negations.Norihiro Kamide - 2017 - Studia Logica 105 (6):1167-1191.

Analytics

Added to PP
2017-07-23

Downloads
26 (#855,855)

6 months
4 (#1,255,690)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

On Extensions of a System of Paraconsistent Logic PCL1.Hitoshi Omori & Toshiharu Waragai - 2012 - Journal of the Japan Association for Philosophy of Science 39 (2):51-68.

Add more citations

References found in this work

On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
Introduction: Paraconsistent logics.Graham Priest & Richard Routley - 1984 - Studia Logica 43 (1-2):3 - 16.

View all 7 references / Add more references