scientific article

zbMATH Open0595.03015MaRDI QIDQ3726086

Walter Carnielli

Publication date: 1985

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

zbMATH Keywords

axiomatizationtableau methodcomputer implementationsynthetic tableaux

Mathematics Subject Classification ID

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

Related Items (3)

Title not available (Why is that?) ⋮ Proof search and co-NP completeness for many-valued logics ⋮ Applying Association Rules to ε-Reduction of Finite Theory in Two-Valued Propositional Logic

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Proof search and co-NP completeness for many-valued logics 👍 👎
• Optimal axiomatizations of finitely valued logics 👍 👎
• Resolution-based theorem proving for many-valued logics 👍 👎
• On finite-valued propositional logical calculi 👍 👎
• ON THE AXIOMATIZATION OF FINITE-VALUED LOGICAL CALCULI 👍 👎
• An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics 👍 👎
• Axiom schemes for m-valued propositions calculi 👍 👎

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)