Finitary coalgebraic multisemilattices and multilattices.

DOI10.1016/J.AMC.2011.10.081zbMath1312.06001OpenAlexW2110732252MaRDI QIDQ2249004

Inma P. Cabrera, Manuel Ojeda Aciego, J. Martínez, Pablo Cordero, G. Gutiérrez

Publication date: 27 June 2014

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.amc.2011.10.081

zbMATH Keywords

coalgebraslatticesnon-determinismmultilatticesmultisemilattices

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Semilattices (06A12) Generalizations of lattices (06B75)

Related Items (4)

\(\mathcal{L} \)-fuzzy cosets of \(\mathcal{L} \)-fuzzy filters of residuated multilattices ⋮ On the definition of suitable orderings to generate adjunctions over an unstructured codomain ⋮ The prime filter theorem for multilattices ⋮ On residuation in multilattices: filters, congruences, and homomorphisms.

Uses Software

• CoCLAM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalizations of lattices via non-deterministic operators
• Combined super-/substring and super-/subsequence problems
• A coalgebraic approach to non-determinism: applications to multilattices
• A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics
• A coalgebraic view on positive modal logic
• On the category \(\mathcal {S}et(\mathcal {JCP}os)\)
• Substring search and repeat search using factor oracles
• Fuzzy logic programming via multilattices
• An axiomatic characterization of multilattices
• Coalgebraic logic
• Universal coalgebra: A theory of systems
• Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts
• Coalgebraic structure of genetic inheritance.
• Clausal logic and logic programming in algebraic domains
• Similarity-based unification: A multi-adjoint approach
• Interpreted systems and Kripke models for multiagent systems from a categorical perspective
• L-fuzzy sets
• The temporal logic of coalgebras via Galois algebras
• An approach to object semantics based on terminal co-algebras
• Logics in Artificial Intelligence
• Partially ordered sets and the Schreier refinement theorem
• Specifying coalgebras with modal logic
• A finite word poset
• Fuzzy logic programming

This page was built for publication: Finitary coalgebraic multisemilattices and multilattices.