scientific article; zbMATH DE number 3867327

MaRDI QIDQ3335783zbMATH OpenFDO

Authors Martin W. Bunder

Publication date 1983

zbMATH Keywords

BCI algebraBCI logic

Mathematics Subject Classification ID

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

Cited in

(6)

• Variations on a theme of Curry
• BCK-algebra and non-Greek mathematics.
• scientific article; zbMATH DE number 3882427 (Why is no real title available?)
• Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
• On necessary and sufficient conditions for zero-symmetric BZ-algebras
• BCI-Algebras and Related Logics

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