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

paraconsistent logicda Costa systemslogic Z

Mathematics Subject Classification ID

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

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

• 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?)
• 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
• LK, LJ, dual intuitionistic logic, and quantum logic
• Limits for paraconsistent calculi
• 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)

• A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)
• Weakening of intuitionistic negation for many-valued paraconsistent da Costa system
• A hierarchy of weak double negations
• 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)