Brasil | Artículos de revistas

On The Set Of Intermediate Logics Between The Truth- And Degree-preserving Aukasiewicz Logics

dc.creatorConiglio
dc.creatorMarcelo E.; Esteva
dc.creatorFrancesc; Godo
dc.creatorLluis
dc.date2016
dc.datejun
dc.date2017-11-13T13:16:13Z
dc.date2017-11-13T13:16:13Z
dc.date.accessioned2018-03-29T05:53:33Z
dc.date.available2018-03-29T05:53:33Z
dc.identifierLogic Journal Of The Igpl. Oxford Univ Press, v. 24, p. 288 - 320, 2016.
dc.identifier1367-0751
dc.identifier1368-9894
dc.identifierWOS:000377662400005
dc.identifier10.1093/jigpal/jzw006
dc.identifierhttps://academic.oup.com/jigpal/article-lookup/doi/10.1093/jigpal/jzw006
dc.identifierhttp://repositorio.unicamp.br/jspui/handle/REPOSIP/327502
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1364527
dc.descriptionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
dc.descriptionConselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
dc.descriptionThe aim of this article is to explore the class of intermediate logics between the truth-preserving Lukasiewicz logic L and its degree-preserving companion L=. From a syntactical point of view, we introduce some families of inference rules (that generalize the explosion rule) that are admissible in L= and derivable in L and we characterize the corresponding intermediate logics. From a semantical point of view, we first consider the family of logics characterized by matrices defined by lattice filters in [0,1], but we show there are intermediate logics falling outside this family. Finally, we study the case of finite-valued Lukasiewicz logics where we axiomatize a large family of intermediate logics defined by families of matrices (A, F) such that A is a finite MV-algebra and F is a lattice filter.
dc.description24
dc.description3
dc.description288
dc.description320
dc.descriptionFP7-PEOPLE-IRSES project MaToMUVI [PIRSES-GA-2009-247584]
dc.descriptionFAPESP [2010/51038-0]
dc.descriptionCNPq [PQ 308524/2014-4]
dc.descriptionMINECO [TIN2012-39348-C02-01]
dc.descriptionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
dc.descriptionConselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
dc.languageEnglish
dc.publisherOxford Univ Press
dc.publisherOxford
dc.relationLogic Journal of the IGPL
dc.rightsfechado
dc.sourceWOS
dc.subjectAukasiewicz Logic
dc.subjectTruth-preserving Logic
dc.subjectDegree-preserving Logic
dc.subjectMv-algebras
dc.subjectIntermediate Logic
dc.subjectParaconsistent And Explosive Logics
dc.subjectLogical Matrices
dc.titleOn The Set Of Intermediate Logics Between The Truth- And Degree-preserving Aukasiewicz Logics
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución