scientific article; zbMATH DE number 856945

MaRDI QIDQ4870082zbMATH OpenFDO

Authors Michiro Kondo

Publication date 17 March 1996

zbMATH Keywords

completenessKleene algebra with implicationKleene logicLindenbaum algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 2217307
• scientific article; zbMATH DE number 7362722
• Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
• Affine completeness of Kleene algebras

Cited in

(9)

• Krivine's intuitionistic proof of classical completeness (for countable languages)
• Kleene algebras with implication
• Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
• scientific article; zbMATH DE number 4012609 (Why is no real title available?)
• Kleene's Logic, Generalized
• scientific article; zbMATH DE number 1858070 (Why is no real title available?)
• Kleene posets and pseudo-Kleene posets
• scientific article; zbMATH DE number 6316277 (Why is no real title available?)
• scientific article; zbMATH DE number 2217307 (Why is no real title available?)

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 Q4870082)