On The Role of The Polynomial (X → Y) →Y in Some Implicative Algebras

DOI10.1002/MALQ.19880340205MaRDI QIDQ3757916zbMATH OpenOpenAlexFDO

Authors Antoni Torrens

Publication date 1988

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19880340205

zbMATH Keywords

joinHilbert algebraBCK-algebraimplicative lattice

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 4160806
• Publication:3470513
• ON THE VARIETY OF POSITIVE IMPLICATIVE BCK-ALGEBRAS
• scientific article; zbMATH DE number 1117690
• On implication algebras and BCK algebras.

Cited in

(5)

• Some properties of epimorphisms of Hilbert algebras
• For Want of an ‘And’: A Puzzle about Non-Conservative Extension
• Decomposability of free Łukasiewicz implication algebras
• Semisimplicity and the discriminator in bounded BCK-algebras
• Hilbert algebras as implicative partial semilattices

This page was built for publication: On The Role of The Polynomial (X → Y) →Y in Some Implicative Algebras

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