Trees as commutative BCK-Algebras

DOI10.1017/S0004972700007024zbMath0445.03040OpenAlexW2112428750MaRDI QIDQ3889050

William H. Cornish

Publication date: 1981

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0004972700007024

zbMATH Keywords

treesvaluationheight-functioncommutative BCK-algebras

Mathematics Subject Classification ID

Lattices of varieties (08B15) Other algebras related to logic (03G25)

Related Items (1)

Spectral properties of cBCK-algebras

Cites Work

• Unnamed Item
• Super-Łukasiewicz implicational logics

This page was built for publication: Trees as commutative BCK-Algebras