| Texto completo | |
| Autor(es): |
Figallo-Orellano, Aldo
;
Sebastian Slagter, Juan
Número total de Autores: 2
|
| Tipo de documento: | Artigo Científico |
| Fonte: | Comp. y Sist.; v. 26, n. 2, p. 13-pg., 2022-01-01. |
| Resumo | |
In this paper, some implicational fragments of trivalent Lukasiewicz logic are studied and the propositional and first-order logic are presented. The maximal consistent theories are studied as Monteiro's maximal deductive systems of the Lindenbaum-Tarski algebra in both cases. Consequently, the adequacy theorems with respect to the suitable algebraic structures are proven. (AU) | |
| Processo FAPESP: | 16/21928-0 - Semânticas não-determinísticas para as lógicas da inconsistência formal |
| Beneficiário: | Aldo Figallo Orellano |
| Modalidade de apoio: | Bolsas no Brasil - Pós-Doutorado |