Ordinal decompositions for preordered root systems

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

zbMATH Keywords

root systempartially ordered setsinformation systemsdenotational semanticspreordered setsordinal decompositionordinal extension

Mathematics Subject Classification ID

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

This page was built for publication: Ordinal decompositions for preordered root systems