scientific article; zbMATH DE number 1127072

zbMATH Open0889.03012MaRDI QIDQ4380155FDOQ4380155

Authors: Matthias Baaz 

Publication date: 14 June 1998

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (18)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• MUltlog 1.0: towards an expert system for many-valued logics
• Non-deterministic semantics in polynomial format
• Automated theorem proving for Łukasiewicz logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
• Resolution-based theorem proving for many-valued logics
• Title not available (Why is that?)
• Automated deduction for many-valued logics
• Automated theorem proving by resolution in non-classical logics
• An automated prover for Zermelo-Fraenkel set theory in Theorema
• Title not available (Why is that?)
• A case study in automated theorem proving: Finding sages in combinatory logic
• Title not available (Why is that?)
• Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques

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)