Artículos de revistas
On The Set Of Intermediate Logics Between The Truth- And Degree-preserving Aukasiewicz Logics
Registro en:
Logic Journal Of The Igpl. Oxford Univ Press, v. 24, p. 288 - 320, 2016.
1367-0751
1368-9894
WOS:000377662400005
10.1093/jigpal/jzw006
Autor
Coniglio
Marcelo E.; Esteva
Francesc; Godo
Lluis
Institución
Resumen
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) The 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. 24 3 288 320 FP7-PEOPLE-IRSES project MaToMUVI [PIRSES-GA-2009-247584] FAPESP [2010/51038-0] CNPq [PQ 308524/2014-4] MINECO [TIN2012-39348-C02-01] Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Ítems relacionados
Mostrando ítems relacionados por Título, autor o materia.
-
Hardware implementation of type-2 programmable fuzzifier
Rocha Rizol, Paloma M. S.; Mesquita, Leonardo; Saotome, Osamu; Botura Jr., Galdenoro -
On The Set Of Intermediate Logics Between The Truth- And Degree-preserving Aukasiewicz Logics
Coniglio; ME; Esteva; F; Godo; L -
Hardware implementation of type-2 programmable fuzzifier
Universidade Estadual Paulista (Unesp); Instituto Tecnológico de Aeronáutica (ITA) (2011-05-20)The design of full programmable type-2 membership function circuit is presented in this paper. This circuit is used to implement the fuzzifier block of Type-2 Fuzzy Logic Controller chip. In this paper the type-2 fuzzy set ...