![]() ; Teheux, Bruno ![]() in Studia Logica (2013), 101(3), 505-545 Detailed reference viewed: 237 (14 UL)![]() Teheux, Bruno ![]() Doctoral thesis (2009) Detailed reference viewed: 151 (13 UL)![]() Mathonet, Pierre ![]() ![]() in Algebra and Discrete Mathematics (2007), (1), 67--85 Detailed reference viewed: 96 (11 UL)![]() Teheux, Bruno ![]() in Studia Logica (2007), 87(1), 13-36 n this paper, we develop a duality for the varieties of a Łukasiewicz n + 1-valued modal system. This duality is an extension of Stone duality for modal algebras. Some logical consequences (such as ... [more ▼] n this paper, we develop a duality for the varieties of a Łukasiewicz n + 1-valued modal system. This duality is an extension of Stone duality for modal algebras. Some logical consequences (such as completeness results, correspondence theory...) are then derived and we propose some ideas for future research. [less ▲] Detailed reference viewed: 174 (10 UL)![]() Teheux, Bruno ![]() in Discrete Mathematics (2007), 307(17–18), 2261-2275 In this paper, we use the theory of natural duality to study subalgebra lattices in the finitely generated varieties of MV-algebras. With this tool, we obtain the dual atomicity of these lattices, and ... [more ▼] In this paper, we use the theory of natural duality to study subalgebra lattices in the finitely generated varieties of MV-algebras. With this tool, we obtain the dual atomicity of these lattices, and characterize the members of these varieties in which every subalgebra is an intersection of maximal subalgebras. Then, we determine the algebras that have a modular or distributive lattice of subalgebras. [less ▲] Detailed reference viewed: 122 (4 UL) |
||