Ordinal decompositions for preordered root systems
From MaRDI portal
Publication:1035655
DOI10.1016/j.apal.2009.05.004zbMath1182.06001MaRDI QIDQ1035655
Constantine Tsinakis, James B. Hart
Publication date: 4 November 2009
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2009.05.004
root system; partially ordered sets; information systems; denotational semantics; preordered sets; ordinal decomposition; ordinal extension
06A06: Partial orders, general
03G10: Logical aspects of lattices and related structures
68Q55: Semantics in the theory of computing
06D05: Structure and representation theory of distributive lattices
03G25: Other algebras related to logic
06A75: Generalizations of ordered sets
Cites Work
- Finite-valued algebraic lattices
- The finite basis theorem for relatively normal lattices
- A concrete realization of the Hoare powerdomain
- Contribution à l'étude des groupes ordonnés
- THE STRUCTURE OF RESIDUATED LATTICES
- Decompositions for Relatively Normal Lattices
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item