Ordinal decompositions for preordered root systems
From MaRDI portal
Publication:1035655
DOI10.1016/j.apal.2009.05.004zbMath1182.06001OpenAlexW1987964769MaRDI QIDQ1035655
James B. Hart, Constantine Tsinakis
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 systempartially ordered setsinformation systemsdenotational semanticspreordered setsordinal decompositionordinal extension
Partial orders, general (06A06) Logical aspects of lattices and related structures (03G10) Semantics in the theory of computing (68Q55) Structure and representation theory of distributive lattices (06D05) Other algebras related to logic (03G25) Generalizations of ordered sets (06A75)
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