Global ETD Search

A CATEGORICAL-ALGEBRAIC EXPLORATION OF MODELS FOR MANY-VALUED LOGIC

CAPPELLETTI, ANDREAUniversità degli Studi di Milano2023

In this thesis, we study from a categorical-algebraic point of view the structures of lattice-ordered groups and MV-algebras, which are used in modeling logic with many truth values. In the first part, we show that the semi-abelian category of lattice-ordered groups satisfies several important …

milano Repository record for A CATEGORICAL-ALGEBRAIC EXPLORATION OF MODELS FOR MANY-VALUED LOGIC (opens in a new tab)

Algebraic approach to modal extensions of Łukasiewicz logics

Teheux, BrunoULiège - Université de Liège2009

liege Repository record for Algebraic approach to modal extensions of Łukasiewicz logics (opens in a new tab)

Treillis des sous-algèbres et opérateurs sur les MV-algèbres

Teheux, BrunoULiège - Université de Liège2004

liege Repository record for Treillis des sous-algèbres et opérateurs sur les MV-algèbres (opens in a new tab)