Busca avançada
Ano de início
Entree
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

On the set of intermediate logics between the truth- and degree-preserving Aukasiewicz logics

Texto completo
Autor(es):
Coniglio, Marcelo E. [1, 2] ; Esteva, Francesc [3] ; Godo, Lluis [3]
Número total de Autores: 3
Afiliação do(s) autor(es):
[1] Univ Estadual Campinas, CLE, BR-13083859 Sao Paulo - Brazil
[2] Univ Estadual Campinas, Dept Philosophy, BR-13083859 Sao Paulo - Brazil
[3] CSIC, IIIA, Campus UAB, Bellaterra 08193 - Spain
Número total de Afiliações: 3
Tipo de documento: Artigo Científico
Fonte: LOGIC JOURNAL OF THE IGPL; v. 24, n. 3, SI, p. 288-320, JUN 2016.
Citações Web of Science: 1
Resumo

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. (AU)

Processo FAPESP: 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS
Beneficiário:Walter Alexandre Carnielli
Linha de fomento: Auxílio à Pesquisa - Temático