Weakening and Extending {mathbb{Z}}

, , &
Logica Universalis 9 (3):383-409 (2015)
  Copy   BIBTEX

Abstract

By weakening an inference rule satisfied by logic daC, we define a new paraconsistent logic, which is weaker than logic \ and G′ 3, enjoys properties presented in daC like the substitution theorem, and possesses a strong negation which makes it suitable to express intutionism. Besides, daC ' helps to understand the relationships among other logics, in particular daC, \ and PH1

Categories

Keywords

Reprint years

DOI

10.1007/s11787-015-0128-6

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

The modal logic of {beta(mathbb{N})}.Guram Bezhanishvili & John Harding - 2009 - Archive for Mathematical Logic 48 (3-4):231-242.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
Nearly every normal modal logic is paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.
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.
More on d-Logics of Subspaces of the Rational Numbers.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Notre Dame Journal of Formal Logic 53 (3):319-345.
Modal logic based theory for non-monotonic reasoning.Pierre Siegel & Camilla Schwind - 1993 - Journal of Applied Non-Classical Logics 3 (1):73-92.
Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.
Subspaces of $${\mathbb{Q}}$$ whose d-logics do not have the FMP.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Archive for Mathematical Logic 51 (5-6):661-670.
Modal Extensions of Sub-classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
Remarks on the applications of paraconsistent logic to physics.Newton C. A. da Costa & Décio Krause - unknown
On Béziau’s logic Z.Hitoshi Omori & Toshiharu Waragai - 2008 - Logic and Logical Philosophy 17 (4):305-320.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.

Analytics

Added to PP
2015-08-16

Downloads
41 (#379,234)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3DH.Gemma Robles & José M. Méndez - 2020 - Journal of Logic, Language and Information 30 (1):117-138.

Add more citations

References found in this work

Extensions of the Lewis system S5.Schiller Joe Scroggs - 1951 - Journal of Symbolic Logic 16 (2):112-120.
Dual-Intuitionistic Logic.Igor Urbas - 1996 - Notre Dame Journal of Formal Logic 37 (3):440-451.
Nearly every normal modal logic is paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.

View all 14 references / Add more references