Logics with separating sets of measures
Logique, catégories et faisceaux
Logique de la géométrie algébrique
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.
Lorenzen's theorem for pseudo-effect algebras
L'universalité des semi-fonctions récursives universelles