Non-deterministic semantics for logics with a consistency operator

DOI10.1016/j.ijar.2006.06.011zbMath1122.03026OpenAlexW2150792576MaRDI QIDQ997049

Arnon Avron

Publication date: 19 July 2007

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2006.06.011

zbMATH Keywords

decision proceduresparaconsistent logicslogics of formal (in)consistencynon-deterministic semanticsproof-theoretical properties

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Paraconsistent logics (03B53)

Related Items (22)

Non-deterministic semantics in polynomial format ⋮ Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics ⋮ Translating non-classical logics into classical logic by using hidden variables ⋮ On polynomial semantics for propositional logics ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ Sequent-type rejection systems for finite-valued non-deterministic logics ⋮ The method of polynomial ring calculus and its potentialities ⋮ On combined connectives ⋮ Maximal and premaximal paraconsistency in the framework of three-valued semantics ⋮ REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS ⋮ A Model-Theoretic Analysis of Fidel-Structures for mbC ⋮ Efficient reasoning with inconsistent information using C-systems ⋮ Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency ⋮ Validity, dialetheism and self-reference ⋮ Possible-translations semantics for some weak classically-based paraconsistent logics ⋮ Paraconsistency and the need for infinite semantics ⋮ Multi-valued semantics: why and how ⋮ A family of genuine and non-algebraisable C-systems ⋮ On Axioms and Rexpansions ⋮ Credal Calculi, Evidence, and Consistency ⋮ Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the theory of inconsistent formal systems
• Non-deterministic Multiple-valued Structures
• Logics of Formal Inconsistency
• Multi-valued Calculi for Logics Based on Non-determinism

This page was built for publication: Non-deterministic semantics for logics with a consistency operator