Weakening and extending Z

DOI10.1007/S11787-015-0128-6zbMATH Open1331.03026OpenAlexW1163743004MaRDI QIDQ497880FDOQ497880

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

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

zbMATH Keywords

paraconsistent logicda Costa systemslogic Z

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

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