scientific article; zbMATH DE number 1761885

MaRDI QIDQ4537504zbMATH OpenFDO

Authors Michael Codish, Grigory Mashevitzky

Publication date 1 July 2002

Mathematics Subject Classification ID

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

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

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)