Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings

DOI10.1007/978-3-642-33314-9_13zbMath1364.68337OpenAlexW107332455MaRDI QIDQ2915144

Peter Jipsen

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

zbMATH Keywords

idempotent semiringsalgebraic contextsdomain semirings

Mathematics Subject Classification ID

Knowledge representation (68T30) Special categories (18B99) Semirings (16Y60) Semilattices (06A12) Natural morphisms, dinatural morphisms (18A23)

Related Items (4)

Canonical extensions of lattices are more than perfect ⋮ Coalgebraic constructions of canonical nondeterministic automata ⋮ Quasilattices and complex concept analysis ⋮ Nondeterministic syntactic complexity

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings