In this paper we prove that, for n > 1, the n-generated free algebra in any locally finite subvariety of HoRA can be written in a unique nontrivial way as Ł2 × A′, where A′ is a directly indecomposable algebra in . More precisely, we prove that the unique nontrivial pair of factor congruences of is given by the filters and , where the element is recursively defined from the term introduced by W. H. Cornish. As an additional result we (...) obtain a characterization of minimal irreducible filters of in terms of its coatoms. (shrink)

Łukasiewicz implication algebras are the {→,1}-subreducts of MV- algebras. They are the algebraic counterpart of Super-Łukasiewicz Implicational Logics investigated in Komori (Nogoya Math J 72:127–133, 1978). In this paper we give a description of free Łukasiewicz implication algebras in the context of McNaughton functions. More precisely, we show that the |X|-free Łukasiewicz implication algebra is isomorphic to ${\bigcup_{x\in X} [x_\theta)}$ for a certain congruence θ over the |X|-free MV-algebra. As corollary we describe the free algebras in all subvarieties of Łukasiewicz (...) implication algebras. (shrink)

Łukasiewicz implication algebras are {→,1}-subreducts of Wajsberg algebras (MV-algebras). They are the algebraic counterpart of Super-Łukasiewicz Implicational logics investigated in Komori, Nogoya Math J 72:127–133, 1978. The aim of this paper is to study the direct decomposability of free Łukasiewicz implication algebras. We show that freely generated algebras are directly indecomposable. We also study the direct decomposability in free algebras of all its proper subvarieties and show that infinitely freely generated algebras are indecomposable, while finitely free generated algebras can be (...) only decomposed into a direct product of two factors, one of which is the two-element implication algebra. (shrink)

Lattice BCK logic is the expansion of the well known Meredith implicational logic BCK expanded with lattice conjunction and disjunction. Although its natural axiomatization has three rules named modus ponens, ∨‐rule and ∧‐rule, we show that we can give an equivalent presentation with just modus ponens and ∧‐rule, however it is impossible to obtain an equivalent presentation with modus ponens as unique rule. In this paper we study and characterize all axiomatic extensions of lattice BCK logic with modus ponens as (...) unique rule. We obtain an infinite chain of proper axiomatic extensions with this property. Moreover, we prove that there is no weakest axiomatic extension of Lattice BCK‐logic admitting modus ponens as unique rule. (shrink)

In this paper, we continue the study of the Łukasiewicz residuation algebras of order $n$ with Moisil possibility operators initiated by Figallo. More precisely, among other things, a method to determine the number of elements of the $MC_n$-algebra with a finite set of free generators is described. Applying this method, we find again the results obtained by Iturrioz and Monteiro and by Figallo for the case of Tarski algebras and $I\varDelta _{3}$-algebras, respectively.