scientific article; zbMATH DE number 910446

MaRDI QIDQ4888337zbMATH OpenFDO

Authors

Publication date 28 July 1996

zbMATH Keywords

Cornish identityHBCKnaturally ordered BCK-algebrassyntactic proofvariety

Mathematics Subject Classification ID

Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)

Recommendations

• On a conjecture by Andrzej Wroński for BCK-algebras and subreducts of hoops
• On a property of BCK-identities
• Quantum B-algebras: their omnipresence in algebraic logic and beyond
• A problem on the variety of BCK-algebras
• scientific article; zbMATH DE number 3851087

Cited in

(12)

• A general Glivenko theorem
• A syntactic proof of the conservativity of \(\lambda_\omega\) over \(\lambda_2\)
• The Andrews-Curtis conjecture, term rewriting and first-order proofs
• Quantum B-algebras: their omnipresence in algebraic logic and beyond
• Decomposability of the finitely generated free hoop residuation algebra
• Basic hoops: an algebraic study of continuous t-norms
• Formal systems of fuzzy logic and their fragments
• On a conjecture by Andrzej Wroński for BCK-algebras and subreducts of hoops
• L-algebras and topology
• Non-commutative effect algebras, \(L\)-algebras, and local duality
• The prime spectrum of an \(L\)-algebra
• A complete invariant system for Noetherian BL-algebras and more general L-algebras

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