scientific article; zbMATH DE number 3851087

MaRDI QIDQ3320374zbMATH OpenFDO

Authors Martin W. Bunder

Publication date 1983

zbMATH Keywords

BCK algebrasBCK logic

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Distributive lattices (06D99)

Recommendations

• Unsolved problems in BCK-algebras
• scientific article; zbMATH DE number 438526
• scientific article; zbMATH DE number 3902615
• Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem
• scientific article; zbMATH DE number 528748
• Publication:4952569
• Cantor-Bernstein theorem for pseudo-BCK-algebras
• Complex Borel structure in \(JC\)-algebras
• A problem on the variety of BCK-algebras
• Unprovability of consistency statements in fragments of bounded arithmetic

Cited in

(1)

• scientific article; zbMATH DE number 910446 (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 Q3320374)