First order theory for literal‐paraconsistent and literal‐paracomplete matrices

&
Mathematical Logic Quarterly 56 (4):425-433 (2010)
  Copy   BIBTEX

Abstract

In this paper a first order theory for the logics defined through literal paraconsistent-paracomplete matrices is developed. These logics are intended to model situations in which the ground level information may be contradictory or incomplete, but it is treated within a classical framework. This means that literal formulas, i.e. atomic formulas and their iterated negations, may behave poorly specially regarding their negations, but more complex formulas, i.e. formulas that include a binary connective are well behaved. This situation may and does appear for instance in data bases

Categories

Keywords

Reprint years

DOI

10.1002/malq.200810062

Links

PhilArchive



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

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

Literal‐paraconsistent and literal‐paracomplete matrices.Renato A. Lewin & Irene F. Mikenberg - 2006 - Mathematical Logic Quarterly 52 (5):478-493.
Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matrices.Eduardo Hirsh & Renato A. Lewin - 2008 - Mathematical Logic Quarterly 54 (2):153-166.
Paraconsistent vagueness: a positive argument.Pablo Cobreros - 2011 - Synthese 183 (2):211-227.
Modal Extensions of Sub-classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
Nearly every normal modal logic is paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.
Inconsistencies in constituent theories of world views: Quantum mechanical examples. [REVIEW]Diederik Aerts, Jan Broekaert & Sonja Smets - 1998 - Foundations of Science 3 (2):313-340.
Some multi-conclusion modal paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.
Cuts, Gluts and Gaps.Vincent Degauquier - 2012 - Logique Et Analyse 55 (218):229-240.
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
Paranormal modal logic–Part I: The system K? and the foundations of the Logic of skeptical and credulous plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.
Multiple-conclusion lp and default classicality.Jc Beall - 2011 - Review of Symbolic Logic 4 (2):326-336.
Filtering Theories of Truth: Compositionality as a Criterion.Wang Wenfang - 2013 - Frontiers of Philosophy in China 8 (1):156-170.
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31 - 60.
Finitely many-valued paraconsistent systems.Roman Tuziak - 1997 - Logic and Logical Philosophy 5:121-127.

Analytics

Added to PP
2013-12-01

Downloads
20 (#744,405)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.
Paraconsistent extensional propositional logics.Diderik Batens - 1980 - Logique and Analyse 90 (90):195-234.
Combining Valuations with Society Semantics.Víctor L. Fernández & Marcelo E. Coniglio - 2003 - Journal of Applied Non-Classical Logics 13 (1):21-46.

View all 11 references / Add more references