Weakening and Extending {mathbb{Z}}

Logica Universalis 9 (3):383-409 (2015)

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
Keywords Paraconsistent logic  logic $${{\mathbb{Z}}}$$ Z  modal logic  non-monotonic reasoning
Categories (categorize this paper)
DOI 10.1007/s11787-015-0128-6
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,483
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Paraconsistent Logic From a Modal Viewpoint.Jean-Yves Béziau - 2005 - Journal of Applied Logic 3 (1):7-14.
Nearly Every Normal Modal Logic is Paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.
Dual-Intuitionistic Logic.Igor Urbas - 1996 - Notre Dame Journal of Formal Logic 37 (3):440-451.

View all 14 references / Add more references

Citations of this work BETA

Add more citations

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.
Nearly Every Normal Modal Logic is Paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.
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.
On Béziau’s Logic Z.Hitoshi Omori & Toshiharu Waragai - 2008 - Logic and Logical Philosophy 17 (4):305-320.
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 index
2015-08-16

Total views
19 ( #487,953 of 2,286,543 )

Recent downloads (6 months)
3 ( #421,856 of 2,286,543 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature