scientific article; zbMATH DE number 5316609

MaRDI QIDQ3520845zbMATH OpenFDO

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

Publication date 26 August 2008

zbMATH Keywords

algorithmic methodsbivalencefinite-valued semanticsmany-valued logicSuszko's thesistruth-functionalitytwo-valued semantics

Mathematics Subject Classification ID

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

Cited in

(2)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3520845)