Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency

DOI10.1007/978-3-540-75939-3_1zbMath1122.03027OpenAlexW1874273995MaRDI QIDQ5425994

Arnon Avron, Anna Zamansky

Publication date: 15 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75939-3_1

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items

Paraconsistency properties in degree-preserving fuzzy logics ⋮ ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ Proof theory and mathematical meaning of paraconsistent C-systems ⋮ Maximal and premaximal paraconsistency in the framework of three-valued semantics ⋮ On the Propagation of Consistency in Some Systems of Paraconsistent Logic ⋮ Efficient reasoning with inconsistent information using C-systems ⋮ A family of genuine and non-algebraisable C-systems

Cites Work

• Non-deterministic semantics for logics with a consistency operator
• On the theory of inconsistent formal systems
• Non-deterministic Multiple-valued Structures
• Formal inconsistency and evolutionary databases
• Logics of Formal Inconsistency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item