On a property of BCK-identities

DOI10.1007/BF01054710MaRDI QIDQ1327482zbMATH OpenFDO

Authors Misao Nagayama

Publication date 12 July 1994

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

BCK-algebraBCK-logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)

Recommendations

• scientific article; zbMATH DE number 3880689
• A problem on the variety of BCK-algebras
• scientific article; zbMATH DE number 3873327
• scientific article; zbMATH DE number 4204312
• scientific article; zbMATH DE number 3880692

Cites work

• scientific article; zbMATH DE number 3880692 (Why is no real title available?)
• An algebra related with a propositional calculus

Cited in

(5)

• Idempotent variations on the theme of exclusive disjunction
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• A problem on the variety of BCK-algebras
• scientific article; zbMATH DE number 910446 (Why is no real title available?)
• On a conjecture by Andrzej Wroński for BCK-algebras and subreducts of hoops

This page was built for publication: On a property of BCK-identities

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