On Löb algebras
Majid Alizadeh, Mohammad Ardeshir · Mathematical logic quarterly · 2005
We study the variety of Löb algebras , the algebraic structures associated with formal propositional calculus. Among other things, we prove a completeness theorem for formal propositional logic with respect to the variety of Löb algebras. We show that the variety of Löb algebras has the weak amalgamation property. Some interesting subclasses of the variety of Löb algebras, e.g. linear, faithful and strongly linear Löb algebras are introduced. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)