A measure theoretic approach to logical quantification
A representation theorem for linearly ordered cardinal algebras
Complete description of substitutions in cylindric algebras and other algebraic logics
Endothéorie de Galois abstraite
f-closure algebras
Interpolation Formulas Over Finite Sets
Interpolation formulas over finite sets.
Logically orientated cluster analysis
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.
Modal Pseudocomplemented De Morgan Algebras
Modal pseudocomplemented De Morgan algebras (or -algebras for short) are investigated in this paper. This new equational class of algebras was introduced by A. V. Figallo and P. Landini ([Figallo, A. V., Landini, P.: Notes on -valued modal algebras Preprints del Instituto de Ciencias Básicas, Univ. Nac. de San Juan 1 (1990), 28–37.]) and they constitute a proper subvariety of the variety of all pseudocomplemented De Morgan algebras satisfying . Firstly, a topological duality for these algebras...
Natural dualities for varieties of distributive lattices with a quantifier
On exact conditionals.
On logical wholeness of an (axiomatic) formal theory
On reproductive solutions of Boolean equations.
On The Greatest Congruence Of Relations
On the greatest congruence of relations.
On the Leibniz congruences
The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two classifications of deductive systems are analysed: one is based on the behaviour of the Leibniz congruence (the maximum congruence of a logical matrix) and the other on the behaviour of the Frege operator (which associates to every theory the interderivability...
Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle