scientific article

From MaRDI portal

Publication:3081831

Jump to:navigation, search

zbMath1213.03077MaRDI QIDQ3081831

Walter Alexandre Carnielli

Publication date: 9 March 2011

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

zbMATH Keywords

many-valued logics modal logics paraconsistent logics logical derivation formal polynomial algebraic proof procedures heuristics in logical proofs

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Related Items

Non-deterministic semantics in polynomial format ⋮ Reconciling First-Order Logic to Algebra

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3081831&oldid=16143161"