Weakening and extending Z

DOI10.1007/S11787-015-0128-6MaRDI QIDQ497880zbMATH OpenOpenAlexFDO

Authors Mauricio Osorio, José Luis Carballido, Claudia Zepeda, José Abel Castellanos

Publication date 25 September 2015

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-015-0128-6

zbMATH Keywords

da Costa systemslogic Zparaconsistent logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53)

Review text

This paper deals with some extensions and weakenings of paraconsistent logic \(\mathbb{Z}\). These logics include an intuitionistic negation which happens to be stronger than the da Costa negation and one weaker than L5. The paper gives the preliminary logics \(\mathbb{Z}\), a da Costa system and P-FOUR and discusses their Hilbert style theories. Then, it constructs a weakening and an extension of \(\mathbb{Z}\).

Recommendations

• Weakening of intuitionistic negation for many-valued paraconsistent da Costa system
• Revisiting \(\mathbb Z\)
• scientific article; zbMATH DE number 912317
• Paraconsistent and paracomplete basic logics without classical negation and some of their extensions
• scientific article; zbMATH DE number 5230344

Cites work

• Around and beyond the square of opposition
• Brief study of G'₃ logic
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Dual-intuitionistic logic
• Extensions of Priest-da Costa logic
• Extensions of the Lewis system S5
• Formal inconsistency and evolutionary databases
• Ground Nonmonotonic Modal Logic S5: New Results
• scientific article; zbMATH DE number 4016857 (Why is no real title available?)
• scientific article; zbMATH DE number 3884136 (Why is no real title available?)
• scientific article; zbMATH DE number 5560598 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 1735921 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 4114587 (Why is no real title available?)
• scientific article; zbMATH DE number 3453564 (Why is no real title available?)
• scientific article; zbMATH DE number 5230344 (Why is no real title available?)
• Limits for paraconsistent calculi
• LK, LJ, dual intuitionistic logic, and quantum logic
• Logic and structure
• Logics of formal inconsistency
• Logics with Common Weak Completions
• Nearly every normal modal logic is paranormal
• Negation in the light of modal logic
• Paraconsistent logic from a modal viewpoint
• Revisiting \(\mathbb Z\)
• Revisiting da Costa logic
• Semi-equilibrium models for paracoherent answer set programs
• Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
• Syntactical and semantical characterization of a class of paraconsistent logics

Cited in

(5)

• Weakening of intuitionistic negation for many-valued paraconsistent da Costa system
• A hierarchy of weak double negations
• A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)
• Empirical negation, co-negation and contraposition rule. I: Semantical investigations
• A new approach to \(N\)-soft topological structures

This page was built for publication: Weakening and extending \(\mathbb{Z}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q497880)