On a property of BCK-identities

DOI10.1007/BF01054710zbMATH Open0799.06032MaRDI QIDQ1327482FDOQ1327482

Authors: Misao Nagayama 

Publication date: 12 July 1994

Published in: Studia Logica (Search for Journal in Brave)

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

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)

Cites Work

• An algebra related with a propositional calculus
• Title not available (Why is that?)

Cited In (5)

• Idempotent variations on the theme of exclusive disjunction
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Title not available (Why is that?)
• A problem on the variety of BCK-algebras
• 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)