scientific article; zbMATH DE number 3957059

MaRDI QIDQ3726086zbMATH OpenFDO

Authors Walter Carnielli

Publication date 1985

zbMATH Keywords

axiomatizationcomputer implementationsynthetic tableauxtableau method

Mathematics Subject Classification ID

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

Recommendations

• Many-valued logics -- theorem proving problems
• scientific article; zbMATH DE number 1127072
• Axiom schemes for m-valued propositions calculi
• Proof search and co-NP completeness for many-valued logics
• Resolution-based theorem proving for many-valued logics
• On finite-valued propositional logical calculi
• scientific article; zbMATH DE number 3877155
• An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
• ON THE AXIOMATIZATION OF FINITE-VALUED LOGICAL CALCULI
• Optimal axiomatizations of finitely valued logics

Cited in

(5)

• Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
• Proof search and co-NP completeness for many-valued logics
• Applying Association Rules to ε-Reduction of Finite Theory in Two-Valued Propositional Logic
• Systematization of finite many-valued logics through the method of tableaux
• scientific article; zbMATH DE number 2024625 (Why is no real title available?)

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 Q3726086)