A coalgebraic approach to non-determinism: applications to multilattices
From MaRDI portal
Publication:621576
DOI10.1016/j.ins.2010.07.002zbMath1222.06004OpenAlexW2136153846MaRDI QIDQ621576
G. Gutiérrez, J. Martínez, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda Aciego
Publication date: 28 January 2011
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2010.07.002
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices ⋮ On the definition of suitable orderings to generate adjunctions over an unstructured codomain ⋮ Finitary coalgebraic multisemilattices and multilattices. ⋮ On residuation in multilattices: filters, congruences, and homomorphisms.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- Some results involving multilattice ideals and distributivity
- Components as coalgebras: the refinement dimension
- A coalgebraic approach to the semantics of the ambient calculus
- Fuzzy logic programming via multilattices
- Nearlattices
- An axiomatic characterization of multilattices
- Universal coalgebra: A theory of systems
- Termination of logic programs with imperfect information: applications and query procedure
- Congruence relations on some hyperstructures
- Non-deterministic ideal operators: an adequate tool for formalization in data bases
- Automata and fixed point logic: a coalgebraic perspective
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
- G-Reactive Systems as Coalgebras
- Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
- Coalgebraic Models for Reactive Systems
- Fuzzy congruence relations on nd-groupoids
- Unification in intuitionistic logic
- Services and Contracts: Coalgebraically
- Distributing probability over non-determinism
- Coinductive Properties of Causal Maps
- Partially ordered sets and the Schreier refinement theorem
This page was built for publication: A coalgebraic approach to non-determinism: applications to multilattices
