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

DOI10.1002/MALQ.19880340205zbMATH Open0621.03043OpenAlexW2016541252MaRDI QIDQ3757916FDOQ3757916

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

Recommendations

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

zbMATH Keywords

joinHilbert algebraBCK-algebraimplicative lattice

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

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)