scientific article; zbMATH DE number 1127072

MaRDI QIDQ4380155zbMATH OpenFDO

Authors Matthias Baaz

Publication date 14 June 1998

zbMATH Keywords

resolutionautomated theorem provingknowledge acquisition by robotsmany-valued first-order logics with finitely many truth values

Mathematics Subject Classification ID

Artificial intelligence (68T99) Many-valued logic (03B50) Mechanization of proofs and logical operations (03B35)

Recommendations

• Resolution-based theorem proving for many-valued logics
• scientific article; zbMATH DE number 19150
• scientific article; zbMATH DE number 1775515

Cited in

(18)

• Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques
• scientific article; zbMATH DE number 2090038 (Why is no real title available?)
• scientific article; zbMATH DE number 1775515 (Why is no real title available?)
• scientific article; zbMATH DE number 5887277 (Why is no real title available?)
• MUltlog 1.0: towards an expert system for many-valued logics
• Non-deterministic semantics in polynomial format
• Automated theorem proving for Łukasiewicz logics
• scientific article; zbMATH DE number 5850137 (Why is no real title available?)
• scientific article; zbMATH DE number 1507196 (Why is no real title available?)
• Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
• Resolution-based theorem proving for many-valued logics
• Automated deduction for many-valued logics
• scientific article; zbMATH DE number 3957059 (Why is no real title available?)
• Automated theorem proving by resolution in non-classical logics
• An automated prover for Zermelo-Fraenkel set theory in Theorema
• scientific article; zbMATH DE number 2042611 (Why is no real title available?)
• A case study in automated theorem proving: Finding sages in combinatory logic
• scientific article; zbMATH DE number 4061193 (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 Q4380155)