scientific article
From MaRDI portal
Publication:3112289
zbMath1230.03049MaRDI QIDQ3112289
Publication date: 13 January 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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