A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics

DOI10.1023/B:AMAI.0000038312.77514.3CMaRDI QIDQ702096zbMATH OpenOpenAlexFDO

Authors G. Gutiérrez, J. Martínez, Pablo Cordero, I. P. de Guzmán

Publication date 17 January 2005

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/b:amai.0000038312.77514.3c

zbMATH Keywords

automated deductionidealsimplicantslattice theorymultisemilatticetheorem provers

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Semilattices (06A12)

Recommendations

• scientific article; zbMATH DE number 1487802
• scientific article; zbMATH DE number 2050901
• Restricted ideals and the groupability property. Tools for temporal reasoning.
• Temporal algebra
• scientific article; zbMATH DE number 1761885

Cited in

(16)

• Finitary coalgebraic multisemilattices and multilattices.
• Congruence relations on some hyperstructures
• Non-deterministic ideal operators: an adequate tool for formalization in data bases
• scientific article; zbMATH DE number 2050901 (Why is no real title available?)
• scientific article; zbMATH DE number 1487802 (Why is no real title available?)
• scientific article; zbMATH DE number 1761885 (Why is no real title available?)
• scientific article; zbMATH DE number 1916516 (Why is no real title available?)
• Multi-adjoint relation equations: definition, properties and solutions using concept lattices
• Adjoint Triples and Residuated Aggregators
• Restricted ideals and the groupability property. Tools for temporal reasoning.
• Generalizations of lattices via non-deterministic operators
• A coalgebraic approach to non-determinism: applications to multilattices
• Proving implications by algebraic approximation
• On the Dedekind-MacNeille completion and formal concept analysis based on multilattices
• Fuzzy logic programming via multilattices
• Multi-adjoint algebras versus non-commutative residuated structures

This page was built for publication: A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q702096)