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

DOI10.1007/s11225-021-09972-zOpenAlexW3213070835MaRDI QIDQ2144181

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

decidabilitytableau systemsparaconsistent logicsmultialgebrasnon-deterministic matricesDugundji's theoremda Costa's C-systemsSwap structures

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (3)

LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ From Inconsistency to Incompatibility ⋮ Weakly Free Multialgebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical matrices and non-structural consequence operators
• Non-deterministic semantics for logics with a consistency operator
• A semantical analysis of the calculi \(C_n\)
• Analytic tableaux for non-deterministic semantics
• Tree-like proof systems for finitely-many valued non-deterministic consequence relations
• Analytic calculi for monadic PNmatrices
• Paraconsistency and the need for infinite semantics
• Finite-valued semantics for canonical labelled calculi
• Paraconsistent logic: consistency, contradiction and negation
• Propositional calculus for contradictory deductive systems
• Non-deterministic Multiple-valued Structures
• On the discussive conjunction in the propositional calculus for inconsistent deductive systems
• Quasi-truth-functional systems of propositional logic
• A Model-Theoretic Analysis of Fidel-Structures for mbC
• Systematization of finite many-valued logics through the method of tableaux
• Modal semantics without possible worlds
• MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY
• Finite non-deterministic semantics for some modal systems
• Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’
• Logics of Formal Inconsistency
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Some remarks on the consequence operation in sentential logics
• Multi-valued Calculi for Logics Based on Non-determinism
• Note on a property of matrices for Lewis and Langford's calculi of propositions

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