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

dc.creatorConiglio
dc.creatorME; Esteva
dc.creatorF; Godo
dc.creatorL
dc.date2016
dc.date2016-12-06T18:31:19Z
dc.date2016-12-06T18:31:19Z
dc.date.accessioned2018-03-29T02:03:56Z
dc.date.available2018-03-29T02:03:56Z
dc.identifier1368-9894
dc.identifierLogic Journal Of The Igpl. OXFORD UNIV PRESS, n. 24, n. 3, p. 288 - 320.
dc.identifier1367-0751
dc.identifierWOS:000377662400005
dc.identifier10.1093/jigpal/jzw006
dc.identifierhttp://jigpal-oxfordjournals-org.ez88.periodicos.capes.gov.br/content/24/3/288
dc.identifierhttp://repositorio.unicamp.br/jspui/handle/REPOSIP/320270
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1311036
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.description
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.description
dc.description
dc.description
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