Autor: Teresa Almada, Júlia Vaz de Carvalho
Rok vydání: 2001
Předmět:
Zdroj: Studia Logica. 69:329-338
ISSN: 0039-3215
DOI: 10.1023/a:1013846725213
Popis: We introduce the variety ℒ n m , m ≥ 1 and n ≥ 2, of m-generalized Łukasiewicz algebras of order n and characterize its subdirectly irreducible algebras. The variety ℒ n m is semisimple, locally finite and has equationally definable principal congruences. Furthermore, the variety ℒ n m contains the variety of Łukasiewicz algebras of order n.
Databáze: OpenAIRE