Completeness Theorems via the Double Dual Functor

The aim of this paper is to apply properties of the double dual endofunctor on the category of bounded distributive lattices and some extensions thereof to obtain completeness of certain non-classical propositional logics in a unified way. In particular, we obtain completeness theorems for Moisil ca...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Galli, Adriana Claudia, Sagastume, Marta Susana, Reyes, Gonzalo E.
Formato: Articulo
Lenguaje:Inglés
Publicado: 2000
Materias:
Ciencias Exactas
Matemática
category of distributive lattices
double dual functor
non-classical propositional logics
completeness theorems
conservative extensions
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/131450
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares