The free n-generated BL-algebra

The theory of Schauder hats is a beautiful and powerful tool for investigating, under several respects, the algebraic semantics of Lukasiewicz infinite-valued logic [CDM99], [MMM07], [Mun94], [P95]. As a notably application of the theory, the elements of the free n-generated MV-algebra, that constitutes the algebraic semantics of the n-variate fragment of Lukasiewicz logic, are obtained as (t-conorm) monoidal combination of finitely many hats, which are in turn obtained through finitely many applications of an operation called starring, starting from a finite family of primitive hats. The aim of this paper is to extend this portion of the Schauder hats theory to the two-variable fragment of H

• Type: Journal
• Year: 2010
• Where: APAL
• Authors: Stefano Aguzzoli, Simone Bova
• Keywords: Algebraic Semantics, APAL 2007, APAL 2010, Free N-generated Mv-algebra, Logic