scientific article; zbMATH DE number 4037868

MaRDI QIDQ3778024zbMATH OpenFDO

Authors Katarzyna Pałasińska

Publication date 1986

zbMATH Keywords

BCK-algebraGentzen sequent calculusoperation (S)weak cancellation law

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Free lattices, projective lattices, word problems (06B25)

Recommendations

• scientific article; zbMATH DE number 3873327
• scientific article; zbMATH DE number 3843746
• NOTES ON BCK-ALGEBRAS WITH CONDITION (S)
• A class of BCK-algebras
• scientific article; zbMATH DE number 3880689

Cited in

(2)

• FREE (n + 1) - VALUED ŁUKASIEWICZ BCK-ALGEBRAS
• scientific article; zbMATH DE number 3873327 (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 Q3778024)