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

DOI10.1007/S11225-021-09972-ZOpenAlexW3213070835MaRDI QIDQ2144181FDOQ2144181

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

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

Cited In (6)

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

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)