scientific article; zbMATH DE number 2196614

zbMath1081.03011MaRDI QIDQ5311061

Arnon Avron

Publication date: 22 August 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

propositional logicnondeterministic matricesmultiple-valued semanticsparaconsistenc

Mathematics Subject Classification ID

Many-valued logic (03B50) Abstract deductive systems (03B22) Paraconsistent logics (03B53)

Related Items

Negative modalities, consistency and determinedness ⋮ Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Abstract valuation semantics ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ Two, Many, and Differently Many ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ From Inconsistency to Incompatibility ⋮ A Note on Ciuciura’s mbC1 ⋮ Efficient reasoning with inconsistent information using C-systems ⋮ Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency ⋮ Non-deterministic semantics for logics with a consistency operator ⋮ Behavioral algebraization of logics ⋮ Algebraic Valuations as Behavioral Logical Matrices ⋮ Reachability in Petri Nets with Inhibitor Arcs ⋮ Swap structures semantics for Ivlev-like modal logics ⋮ Multi-valued semantics: why and how ⋮ Tutorial on Inconsistency-Adaptive Logics ⋮ Finite two-dimensional proof systems for non-finitely axiomatizable logics ⋮ On Axioms and Rexpansions ⋮ Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency

This page was built for publication: