scientific article; zbMATH DE number 2051680

zbMath1043.03009MaRDI QIDQ4453706

Jean-Yves Béziau

Publication date: 7 March 2004

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

zbMATH Keywords

sequent calculusbivaluation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22)

Related Items (9)

Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics ⋮ Lindenbaum-type logical structures ⋮ Metalogic, Schopenhauer and Universal Logic ⋮ Many-Valued Logics in the Iberian Peninsula ⋮ Book review of: Yaroslav Shramko and Heinrich Wansing, Truth and falsehood. An inquiry into generalized logical values ⋮ Rough sets and 3-valued logics ⋮ SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY ⋮ Classic-Like Analytic Tableaux for Finite-Valued Logics ⋮ Universal Logic as a Science of Patterns

This page was built for publication: