scientific article

zbMath1227.03018MaRDI QIDQ3086718

João Marcos, Dalmo Mendonça

Publication date: 30 March 2011

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

zbMATH Keywords

automated theorem provingfinite-valued logicstableau rules

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Related Items

Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics