Free Łukasiewicz and hoop residuation algebras

DOI10.1023/B:STUD.0000037125.49866.50zbMath1062.03062OpenAlexW2006897792MaRDI QIDQ1770972

Joel D. Berman, Willem J. Blok

Publication date: 7 April 2005

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:stud.0000037125.49866.50

zbMATH Keywords

free algebraBCK-algebraMV-algebrafree spectrumHilbert algebraŁukasiewicz algebrahoop residuation algebraŁukasiewicz residuation algebra

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Heyting algebras (lattice-theoretic aspects) (06D20) MV-algebras (06D35) Ordered semigroups and monoids (06F05) Free algebras (08B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (13)

Yankov Characteristic Formulas (An Algebraic Account) ⋮ Factor congruences in BCK-algebras ⋮ Decomposability of free Łukasiewicz implication algebras ⋮ Implicative subreducts of MV-algebras: free and weakly projective objects ⋮ Decomposability of the finitely generated free hoop residuation algebra ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ Monadic MV-algebras. II: Monadic implicational subreducts ⋮ Free Łukasiewicz implication algebras ⋮ Lattice BCK logics with Modus Ponens as unique rule ⋮ Algebras defined from ordered sets and the varieties they generate ⋮ Algebraic functions in Łukasiewicz implication algebras ⋮ XIV Latin American Symposium on Mathematical Logic (SLALM) ⋮ Quasivarieties and congruence permutability of Łukasiewicz implication algebras

This page was built for publication: Free Łukasiewicz and hoop residuation algebras