Page 1

## Displaying 1 – 18 of 18

Showing per page

### A measure theoretic approach to logical quantification

Rendiconti del Seminario Matematico della Università di Padova

### A representation theorem for linearly ordered cardinal algebras

Fundamenta Mathematicae

### Complete description of substitutions in cylindric algebras and other algebraic logics

Banach Center Publications

### Endothéorie de Galois abstraite

Séminaire Dubreil. Algèbre et théorie des nombres

### f-closure algebras

Fundamenta Mathematicae

### Interpolation Formulas Over Finite Sets

Publications de l'Institut Mathématique

### Interpolation formulas over finite sets.

Publications de l'Institut Mathématique [Elektronische Ressource]

Kybernetika

### Lògiques distributives i booleanes.

Stochastica

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

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Modal pseudocomplemented De Morgan algebras (or $mpM$-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 $4$-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 $x\wedge {\left(\sim x\right)}^{*}={\left(\sim \left(x\wedge {\left(\sim x\right)}^{*}\right)\right)}^{*}$. Firstly, a topological duality for these algebras...

### Natural dualities for varieties of distributive lattices with a quantifier

Banach Center Publications

Stochastica

### On logical wholeness of an (axiomatic) formal theory

Matematički Vesnik

### On reproductive solutions of Boolean equations.

Publications de l'Institut Mathématique [Elektronische Ressource]

### On The Greatest Congruence Of Relations

Publications de l'Institut Mathématique

### On the greatest congruence of relations.

Publications de l'Institut Mathématique [Elektronische Ressource]

### On the Leibniz congruences

Banach Center Publications

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

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Page 1