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

id	I19-R120-10915-131450
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Inglés
topic	Ciencias Exactas Matemática category of distributive lattices double dual functor non-classical propositional logics completeness theorems conservative extensions
spellingShingle	Ciencias Exactas Matemática category of distributive lattices double dual functor non-classical propositional logics completeness theorems conservative extensions Galli, Adriana Claudia Sagastume, Marta Susana Reyes, Gonzalo E. Completeness Theorems via the Double Dual Functor
topic_facet	Ciencias Exactas Matemática category of distributive lattices double dual functor non-classical propositional logics completeness theorems conservative extensions
description	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 calculus, n-valued Łukasiewicz calculus and Nelson calculus. Furthermore we show some conservativeness results by these methods.
format	Articulo Articulo
author	Galli, Adriana Claudia Sagastume, Marta Susana Reyes, Gonzalo E.
author_facet	Galli, Adriana Claudia Sagastume, Marta Susana Reyes, Gonzalo E.
author_sort	Galli, Adriana Claudia
title	Completeness Theorems via the Double Dual Functor
title_short	Completeness Theorems via the Double Dual Functor
title_full	Completeness Theorems via the Double Dual Functor
title_fullStr	Completeness Theorems via the Double Dual Functor
title_full_unstemmed	Completeness Theorems via the Double Dual Functor
title_sort	completeness theorems via the double dual functor
publishDate	2000
url	http://sedici.unlp.edu.ar/handle/10915/131450
work_keys_str_mv	AT galliadrianaclaudia completenesstheoremsviathedoubledualfunctor AT sagastumemartasusana completenesstheoremsviathedoubledualfunctor AT reyesgonzaloe completenesstheoremsviathedoubledualfunctor
bdutipo_str	Repositorios
_version_	1764820453769084928

Completeness Theorems via the Double Dual Functor

Ejemplares similares