Finitary coalgebraic multisemilattices and multilattices.
From MaRDI portal
Publication:2249004
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
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
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.
