scientific article

zbMath1146.03300MaRDI QIDQ3520845

Marcelo E. Conigho, João Marcos, Carlos Caleiro, Walter Alexandre Carnielli

Publication date: 26 August 2008

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

zbMATH Keywords

many-valued logictruth-functionalitybivalencealgorithmic methodsSuszko's thesisfinite-valued semanticstwo-valued semantics

Mathematics Subject Classification ID

Many-valued logic (03B50) Abstract deductive systems (03B22)

Related Items

Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic ⋮ Valuations: bi, tri, and tetra