| Texto completo | |
| Autor(es): |
Coniglio, Marcelo E.
;
Esteva, Francesc
;
Godo, Lluis
Número total de Autores: 3
|
| Tipo de documento: | Artigo Científico |
| Fonte: | LOGIC JOURNAL OF THE IGPL; v. 24, n. 3, p. 33-pg., 2016-06-01. |
| 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 |
| Modalidade de apoio: | Auxílio à Pesquisa - Temático |