Le spectre d'un anneau dans l'algèbre constructive et applications à la dimension
Logique, catégories et faisceaux
Logique trivalente de Lukasiewicz
Lògiques distributives i booleanes.
Continuing the study of different types of Abstract Logics [5], and following works by Brown-Bloom [1] and Brown-Suszko [2], we analyze in this paper some logics in which, if we identify equivalent formulae by means of the consequence operator, we obtain distributive lattices or Boolean algebras.