Título original |
Lògiques distributives i booleanes. |
Título inglés |
Distributive and Boolean logics. |
Título español |
Lógicas distributivas y booleanas. |
Autor/es |
Verdú i Solans, Ventura |
Organización |
Dep. Estad. Mat. Fac. Mat. Univ. Barcelona, Barcelona, España |
Revista |
0210-7821 |
Publicación |
1979, 3 (2): 97-108, 5 Ref. |
Tipo de documento |
articulo |
Idioma |
Catalán |
Resumen inglés |
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. |
Clasificación UNESCO |
110208 |
Palabras clave español |
Lógica abstracta ; Algebras de Boole ; Operador consecuencia |
Código MathReviews |
MR0556650 |
Código Z-Math |
Zbl 0419.03041 |
Acceso al artículo completo |