scientific article
From MaRDI portal
Publication:3086715
zbMath1227.03032MaRDI QIDQ3086715
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bivalent semanticsuniversal logictheory of valuationDe Morgan logicfour-valued Dunn-Belnap semantics
Related Items (11)
Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ Disentangling contradiction from contrariety via incompatibility ⋮ Metalogical decorations of logical diagrams ⋮ Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic ⋮ Four-valued paradefinite logics ⋮ Trivial Dialetheism and the Logic of Paradox ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ Book review of: Yaroslav Shramko and Heinrich Wansing, Truth and falsehood. An inquiry into generalized logical values ⋮ Embedding friendly first-order paradefinite and connexive logics
This page was built for publication:
