scientific article; zbMATH DE number 1761885

zbMATH Open0988.68597MaRDI QIDQ4537504FDOQ4537504

Authors: Michael Codish, Grigory Mashevitzky 

Publication date: 1 July 2002

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

Recommendations

• Proving implications by algebraic approximation
• A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics
• scientific article; zbMATH DE number 2116933
• Proper implication lattices and well implication lattices.
• scientific article; zbMATH DE number 2067135

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Semilattices (06A12) Semantics in the theory of computing (68Q55) Lattices (06B99)

Cited In (3)

• Implicit proofs
• A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics
• Proving implications by algebraic approximation

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