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.3czbMath1095.68110OpenAlexW2024614677MaRDI QIDQ702096

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

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

lattice theoryidealsautomated deductionimplicantsmultisemilatticetheorem provers

Mathematics Subject Classification ID

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

Related Items

Congruence relations on some hyperstructures ⋮ Fuzzy logic programming via multilattices ⋮ A coalgebraic approach to non-determinism: applications to multilattices ⋮ Multi-adjoint algebras versus non-commutative residuated structures ⋮ Multi-adjoint relation equations: definition, properties and solutions using concept lattices ⋮ On the Dedekind-MacNeille completion and formal concept analysis based on multilattices ⋮ Finitary coalgebraic multisemilattices and multilattices. ⋮ Non-deterministic ideal operators: an adequate tool for formalization in data bases ⋮ Generalizations of lattices via non-deterministic operators ⋮ Adjoint Triples and Residuated Aggregators ⋮ Unnamed Item