Les algèbres de Heyting-Brouwer : point de rencontre de plusieurs structures
Löb operators and interior operators
Logical Aggregation Based on Interpolative Boolean Algebra.
Logique, catégories et faisceaux
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.