scientific article

zbMath1230.03049MaRDI QIDQ3112289

Arnon Avron

Publication date: 13 January 2012

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

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items

Computational properties of partial non-deterministic matrices and their logics, Taming Paraconsistent (and Other) Logics, Self-extensional three-valued paraconsistent logics, A Note on Ciuciura’s mbC1, BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS, Efficient reasoning with inconsistent information using C-systems, Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency, Strict Canonical Constructive Systems, Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data, What is a non-truth-functional logic?, Finite-valued semantics for canonical labelled calculi, A non-deterministic view on non-classical negations