Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2022-02-22T13:59:55Z
dc.date.available 2022-02-22T13:59:55Z
dc.date.issued 2000
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/131450
dc.description.abstract 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. en
dc.format.extent 61-81 es
dc.language en es
dc.subject category of distributive lattices es
dc.subject double dual functor es
dc.subject non-classical propositional logics es
dc.subject completeness theorems es
dc.subject conservative extensions es
dc.title Completeness Theorems via the Double Dual Functor en
dc.type Articulo es
sedici.identifier.other doi:10.1023/a:1005238330484 es
sedici.identifier.issn 0039-3215 es
sedici.identifier.issn 1572-8730 es
sedici.creator.person Galli, Adriana Claudia es
sedici.creator.person Sagastume, Marta Susana es
sedici.creator.person Reyes, Gonzalo E. es
sedici.subject.materias Ciencias Exactas es
sedici.subject.materias Matemática es
sedici.description.fulltext true es
mods.originInfo.place Facultad de Ciencias Exactas es
sedici.subtype Articulo es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/4.0/
sedici.description.peerReview peer-review es
sedici.relation.journalTitle Studia Logica es
sedici.relation.journalVolumeAndIssue vol. 64, no. 1 es


Descargar archivos

Thumbnail
Documento
Descargar archivo (1.092Mb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)