References of "Teheux, Bruno 50003186"
     in
Bookmark and Share    
Full Text
See detailAlgebraic approach to modal extensions of Łukasiewicz logics
Teheux, Bruno UL

Doctoral thesis (2009)

Detailed reference viewed: 131 (12 UL)
Full Text
Peer Reviewed
See detailA Duality for the Algebras of a Łukasiewicz n + 1-valued Modal System
Teheux, Bruno UL

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: 133 (7 UL)
Full Text
Peer Reviewed
See detailLattice of subalgebras in the finitely generated varieties of MV-algebras
Teheux, Bruno UL

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: 85 (4 UL)
Full Text
Peer Reviewed
See detailNatural dualities for varieties generated by a set of subalgebras of a semi-primal algebra
Mathonet, Pierre UL; Niederkorn, Philippe; Teheux, Bruno UL

in Algebra and Discrete Mathematics (2007), (1), 67--85

Detailed reference viewed: 52 (7 UL)