| Revista: | Computación y sistemas |
| Base de datos: | |
| Número de sistema: | 000560680 |
| ISSN: | 1405-5546 |
| Autores: | Orellano, Aldo Figallo2 Slagter, Juan Sebastián1 |
| Instituciones: | 1Universidad Nacional del Sur, Departamento de Matemática, Buenos Aires. Argentina 2Universidade Estadual de Campinas, Centro de Logica, Epistemologia e Historia da Ciencia, Campinas, Sao Paulo. Brasil |
| Año: | 2022 |
| Periodo: | Abr-Jun |
| Volumen: | 26 |
| Número: | 2 |
| Paginación: | 801-813 |
| País: | México |
| Idioma: | Inglés |
| Tipo de documento: | Artículo |
| Resumen en inglés | In this paper, some implicational fragments of trivalent Łukasiewicz 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. |
| Disciplinas: | Matemáticas |
| Palabras clave: | Matemáticas aplicadas |
| Keyword: | Applied mathematics |
| Texto completo: | Texto completo (Ver HTML) Texto completo (Ver PDF) |
