Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings
From MaRDI portal
Publication:2915144
DOI10.1007/978-3-642-33314-9_13zbMath1364.68337MaRDI QIDQ2915144
Publication date: 21 September 2012
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33314-9_13
68T30: Knowledge representation
18B99: Special categories
16Y60: Semirings
06A12: Semilattices
18A23: Natural morphisms, dinatural morphisms
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Generalized Kripke frames
- A topological representation of lattices
- The Pontryagin duality of compact O-dimensional semilattices and its applications
- Continuous Lattices and Domains
- Residuated frames with applications to decidability
- Canonical extensions and relational completeness of some substructural logics