scientific article; zbMATH DE number 823609

zbMath0843.03013MaRDI QIDQ4856966

Jean-Yves Béziau

Publication date: 15 August 1996

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

zbMATH Keywords

cut eliminationsequent calculussemanticsparaconsistent logic \(C1\)

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Paraconsistent logics (03B53)

Related Items (5)

On the Propagation of Consistency in Some Systems of Paraconsistent Logic ⋮ Non Truth-Functional Many-Valuedness ⋮ Efficient reasoning with inconsistent information using C-systems ⋮ Two Genuine 3-Valued Paraconsistent Logics ⋮ Strong Three-Valued Paraconsistent Logics

This page was built for publication: