scientific article; zbMATH DE number 167214

MaRDI QIDQ4034293zbMATH OpenFDO

Authors Michiro Kondo

Publication date 16 May 1993

zbMATH Keywords

compact Hausdorff spaceKripke-type framesquasi-Kleene algebras

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Representation theory of lattices (06B15)

Recommendations

• A representation theorem for quantale algebras
• scientific article; zbMATH DE number 3559573
• scientific article; zbMATH DE number 1916566
• scientific article; zbMATH DE number 3134289
• scientific article; zbMATH DE number 177199
• On the Representation of Kleene Algebras with Tests
• Representation of De Morgan and (semi-)Kleene lattices
• Representation Theorems for Quantales
• On Kleene algebras
• A representation theorem for quantales

Cited in

(6)

• The Kiev algorithm for bocses applies directly to representation-finite algebras
• Classification of weak De Morgan algebras
• Representation of De Morgan and (semi-)Kleene lattices
• Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
• scientific article; zbMATH DE number 177199 (Why is no real title available?)
• Relational Methods in Computer Science

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4034293)