No label defined (Q4352425)

In a course given at the University of Bahia Blanca (unpublished), \textit{A. Monteiro} introduced the concept of Łukasiewicz three-valued implicative algebra, or \(I_3 \)-algebra, which is an algebraic counterpart of Łukasiewicz three-valued propositional calculus restricted to \(\to\) (Łukasiewicz implication) and 1 (theses). As a matter of fact, \(I_3\)-algebras with 0 coincide with three-valued Łukasiewicz(-Moisil) algebras. The \(\Delta I_3\)-algebras introduced by \textit{A. Figallo} [Rep. Math. Logic 24, 3-16 (1990; Zbl 0759.03027)] and the \(SI_3\)-algebras introduced by \textit{A. Figallo} and the present author [in: A. Germani et al. (eds.), Proc. 1st Congr. Math. ``Dr. A. R. Monteiro'', Bahia Blanca, 1991, Dept. Mat., Univ. Nac. del Sur, 123-142 (1991; Zbl 0793.03075)] are enrichments of \(I_3\)-algebras, obtained by adding the operations \(\Delta\) (necessity) and \(\wedge\) (conjunction), respectively. In this paper, the author defines an \(S\Delta I_3\)-algebra as an algebra \((A,\to,\Delta,\wedge,1)\) which is both a \(\Delta I_3\)-algebra and an \(SI_3\)-algebra. He surveys certain properties inherited by \(S \Delta I_3\)-algebras from the previous classes and proves that the free \(S\Delta I_3\)-algebra with \(n\) free generators is isomorphic to \(B^{2^n-1} \times T^{3^n-2^n}\), where \(B\) is the Boolean algebra \(\{0,1\}\) and \(T\) is the \(S\Delta I_3\)-algebra \(\{0, {1\over 2}, 1\}\). For the entire collection see [Zbl 0840.00019].