A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics
From MaRDI portal
Publication:702096
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
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
