scientific article; zbMATH DE number 2050901

MaRDI QIDQ4453161zbMATH OpenFDO

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

Publication date 7 March 2004

zbMATH Keywords

automated deductionmultisemilatticesnondeterministic operatorsweak associativity

Mathematics Subject Classification ID

Semilattices (06A12)

Recommendations

• scientific article; zbMATH DE number 3970809
• Generalizations of lattices via non-deterministic operators
• A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics
• On the axioms of multistructures
• scientific article; zbMATH DE number 3124851

Cited in

(9)

• Finitary coalgebraic multisemilattices and multilattices.
• Congruence relations on some hyperstructures
• scientific article; zbMATH DE number 3124851 (Why is no real title available?)
• On the axioms of multistructures
• Fuzzy congruence relations on nd-groupoids
• scientific article; zbMATH DE number 3970809 (Why is no real title available?)
• Generalizations of lattices via non-deterministic operators
• Multilattice as the set of truth values for fuzzy rough sets
• A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics

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