Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
From MaRDI portal
Recommendations
Cites work
- Formal inconsistency and evolutionary databases
- Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997
- scientific article; zbMATH DE number 5997431 (Why is no real title available?)
- scientific article; zbMATH DE number 3467028 (Why is no real title available?)
- scientific article; zbMATH DE number 2019859 (Why is no real title available?)
- scientific article; zbMATH DE number 1852924 (Why is no real title available?)
- scientific article; zbMATH DE number 837700 (Why is no real title available?)
- scientific article; zbMATH DE number 2196614 (Why is no real title available?)
- scientific article; zbMATH DE number 2209330 (Why is no real title available?)
- Logics of formal inconsistency
- Non-deterministic Multiple-valued Structures
- Non-deterministic semantics for logics with a consistency operator
- On the theory of inconsistent formal systems
Cited in
(19)- Valuation semantics for first-order logics of evidence and truth
- On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency
- On the propagation of consistency in some systems of paraconsistent logic
- Fraïssé's theorem for logics of formal inconsistency
- Paraconsistency properties in degree-preserving fuzzy logics
- Proof theory and mathematical meaning of paraconsistent C-systems
- ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft
- A family of genuine and non-algebraisable C-systems
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
- An objectual semantics for first-order LFI1 with an application to free logics
- First-order swap structures semantics for some logics of formal inconsistency
- Efficient reasoning with inconsistent information using C-systems
- scientific article; zbMATH DE number 5244180 (Why is no real title available?)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- A new completeness proof at the propositional level for mbC and some of its extensions
- On a four-valued logic of formal inconsistency and formal undeterminedness
- Non-deterministic semantics for logics with a consistency operator
This page was built for publication: Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5425994)
