Generalizations of lattices via non-deterministic operators

DOI10.1016/j.disc.2004.08.043zbMath1085.06005OpenAlexW2099406364MaRDI QIDQ556843

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

Publication date: 23 June 2005

Published in: Discrete Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.disc.2004.08.043

zbMATH Keywords

Lattice theoryMultilatticeMultisemilatticeNondeterministic operatorUniversal multilatticeUniversal multisemilattice

Mathematics Subject Classification ID

Algebraic aspects of posets (06A11) Semilattices (06A12) Lattices (06B99)

Related Items (8)

Congruence relations on some hyperstructures ⋮ Fuzzy logic programming via multilattices ⋮ A coalgebraic approach to non-determinism: applications to multilattices ⋮ Finitary coalgebraic multisemilattices and multilattices. ⋮ Non-deterministic ideal operators: an adequate tool for formalization in data bases ⋮ Fuzzy congruence relations on nd-groupoids ⋮ Multiplicative and implicative derivations on residuated multilattices ⋮ On residuation in multilattices: filters, congruences, and homomorphisms.

Cites Work

• A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics
• An axiomatic characterization of multilattices
• Bases for closed sets of implicants and implicates in temporal logic
• Satisfiability testing for Boolean formulas using \(\Delta\)-trees
• Partially ordered sets and the Schreier refinement theorem, II. Theory of multistructures
• A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time
• Partially ordered sets and the Schreier refinement theorem
• Reductions for non-clausal theorem proving
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Generalizations of lattices via non-deterministic operators