Two decision procedures for da Costa's C_n Logics based on restricted Nmatrix semantics

DOI10.1007/S11225-021-09972-ZMaRDI QIDQ2144181zbMATH OpenOpenAlexFDO

Authors Guilherme V. Toledo, Marcelo E. Coniglio

Publication date 1 June 2022

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2011.10151

zbMATH Keywords

decidabilityparaconsistent logicstableau systemsmultialgebrasnon-deterministic matricesDugundji's theoremda Costa's C-systemsSwap structures

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Non-deterministic semantics for logics with a consistency operator
• Analytical tableaux for da Costa's paraconsistent predicate calculi C\(_n^*\)
• Analytical tableaux for da Costa's hierarchy of paraconsistent logics \(C_n\), \(1\leq n<\omega\)
• scientific article; zbMATH DE number 150214

Cites work

• scientific article; zbMATH DE number 3700797 (Why is no real title available?)
• scientific article; zbMATH DE number 3588632 (Why is no real title available?)
• scientific article; zbMATH DE number 3598472 (Why is no real title available?)
• scientific article; zbMATH DE number 551010 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 1765698 (Why is no real title available?)
• scientific article; zbMATH DE number 7585729 (Why is no real title available?)
• scientific article; zbMATH DE number 2196614 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3304911 (Why is no real title available?)
• scientific article; zbMATH DE number 4187771 (Why is no real title available?)
• A model-theoretic analysis of Fidel-structures for mbC
• A semantical analysis of the calculi \(C_n\)
• Analytic calculi for monadic PNmatrices
• Analytic tableaux for non-deterministic semantics
• Errata and addenda to: ``Finite non-deterministic semantics for some modal systems
• Finite non-deterministic semantics for some modal systems
• Finite-valued semantics for canonical labelled calculi
• Logical matrices and non-structural consequence operators
• Logics of formal inconsistency
• Many-valued logic of informal provability: a non-deterministic strategy
• Modal semantics without possible worlds
• Multi-valued Calculi for Logics Based on Non-determinism
• Non-deterministic Multiple-valued Structures
• Non-deterministic semantics for logics with a consistency operator
• Note on a property of matrices for Lewis and Langford's calculi of propositions
• On the discussive conjunction in the propositional calculus for inconsistent deductive systems
• Paraconsistency and the need for infinite semantics
• Paraconsistent logic: consistency, contradiction and negation
• Propositional calculus for contradictory deductive systems
• Quasi-truth-functional systems of propositional logic
• Some remarks on the consequence operation in sentential logics
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Systematization of finite many-valued logics through the method of tableaux
• Theory of effective propositional paraconsistent logics
• Tree-like proof systems for finitely-many valued non-deterministic consequence relations

Cited in

(6)

• A simple decision procedure for da Costa's Cn logics by Restricted Nmatrix semantics
• Weakly Free Multialgebras
• From Inconsistency to Incompatibility
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• Tableau systems for some Ivlev-like (quantified) modal logics
• From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth

This page was built for publication: Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics

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