Non-deterministic semantics for logics with a consistency operator
From MaRDI portal
Publication:997049
DOI10.1016/j.ijar.2006.06.011zbMath1122.03026MaRDI QIDQ997049
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
decision procedures; paraconsistent logics; logics of formal (in)consistency; non-deterministic semantics; proof-theoretical properties
Related Items
On polynomial semantics for propositional logics, Defining LFIs and LFUs in extensions of infectious logics, 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, REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS, Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency, Monteiro's algebraic notion of maximal consistent theory for Tarskian logics, Sequent-type rejection systems for finite-valued non-deterministic logics, Non-deterministic semantics in polynomial format, Efficient reasoning with inconsistent information using C-systems, Maximal and premaximal paraconsistency in the framework of three-valued semantics, The method of polynomial ring calculus and its potentialities, Multi-valued semantics: why and how, On combined connectives, Validity, dialetheism and self-reference, Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics, Paraconsistency and the need for infinite semantics, Translating non-classical logics into classical logic by using hidden variables, A Model-Theoretic Analysis of Fidel-Structures for mbC, Possible-translations semantics for some weak classically-based paraconsistent logics
Cites Work