Non-deterministic semantics for logics with a consistency operator
From MaRDI portal
Publication:997049
DOI10.1016/J.IJAR.2006.06.011zbMATH Open1122.03026OpenAlexW2150792576MaRDI QIDQ997049FDOQ997049
Authors: 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
Recommendations
- scientific article; zbMATH DE number 5997431
- Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
- scientific article; zbMATH DE number 1303442
- A constructive semantics for non‐deducibility
- Nonmonotonic logics and semantics
- Semantics of non-deterministic possibility computation
- Non-deterministic semantics for dynamic topological logic
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Sequential reflexive logics with noncontingency operator
- Quantifier-free logic for nondeterministic theories
decision proceduresparaconsistent logicslogics of formal (in)consistencynon-deterministic semanticsproof-theoretical properties
Cites Work
- Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the theory of inconsistent formal systems
- 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?)
- Title not available (Why is that?)
- Tableaux for many-valued logics
- Multi-valued Calculi for Logics Based on Non-determinism
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (34)
- Non deterministic classical logic: the $\lambda\mu^{++}$-calculus
- Title not available (Why is that?)
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
- On combined connectives
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
- Title not available (Why is that?)
- On polynomial semantics for propositional logics
- Paraconsistency and the need for infinite semantics
- From Inconsistency to Incompatibility
- Non-deterministic semantics in polynomial format
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Possible-translations semantics for some weak classically-based paraconsistent logics
- A model-theoretic analysis of Fidel-structures for mbC
- Title not available (Why is that?)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- A family of genuine and non-algebraisable C-systems
- Tableau systems for some Ivlev-like (quantified) modal logics
- The method of polynomial ring calculus and its potentialities
- Sequent-type rejection systems for finite-valued non-deterministic logics
- Credal Calculi, Evidence, and Consistency
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
- Multi-valued semantics: why and how
- Validity, dialetheism and self-reference
- Title not available (Why is that?)
- Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
- Title not available (Why is that?)
- A constructive semantics for non‐deducibility
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Semantics for conditional literals via the SM operator
- Defining LFIs and LFUs in extensions of infectious logics
- On Axioms and Rexpansions
- Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency
- Translating non-classical logics into classical logic by using hidden variables
- Efficient reasoning with inconsistent information using C-systems
This page was built for publication: Non-deterministic semantics for logics with a consistency operator
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q997049)
