An embedding-based completeness proof for Nelson's paraconsistent logic

Bulletin of the Section of Logic 39 (3/4):205-214 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Symmetric and dual paraconsistent logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.
Priestley Duality for Paraconsistent Nelson’s Logic.Sergei P. Odintsov - 2010 - Studia Logica 96 (1):65-93.
The paraconsistent logic Z. A possible solution to Jaśkowski's problem.Jean-Yves Béziau - 2006 - Logic and Logical Philosophy 15 (2):99-111.
Paraconsistent logics included in Lewis’ S4.Gemma Robles & José M. Méndez - 2010 - Review of Symbolic Logic 3 (3):442-466.
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
Natural deduction systems for Nelson's paraconsistent logic and its neighbors.Norihiro Kamide - 2005 - Journal of Applied Non-Classical Logics 15 (4):405-435.
A reasoning method for a paraconsistent logic.Arthur Buchsbaum & Tarcisio Pequeno - 1993 - Studia Logica 52 (2):281 - 289.
Remarks on the applications of paraconsistent logic to physics.Newton C. A. da Costa & Décio Krause - unknown
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Information Completeness in Nelson Algebras of Rough Sets Induced by Quasiorders.Jouni Järvinen, Piero Pagliani & Sándor Radeleczki - 2013 - Studia Logica 101 (5):1073-1092.
Dynamic non-commutative logic.Norihiro Kamide - 2010 - Journal of Logic, Language and Information 19 (1):33-51.
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.

Analytics

Added to PP
2013-12-18

Downloads
43 (#362,182)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5.Norihiro Kamide - 2023 - Journal of Logic, Language and Information 32 (3):395-440.
Notes on Craig interpolation for LJ with strong negation.Norihiro Kamide - 2011 - Mathematical Logic Quarterly 57 (4):395-399.

Add more citations

References found in this work

A semantical study of constructible falsity.Richmond H. Thomason - 1969 - Mathematical Logic Quarterly 15 (16-18):247-257.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Displaying the Modal Logic of Consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.

Add more references