| Journal: | Computación y sistemas |
| Database: | |
| System number: | 000560680 |
| ISSN: | 1405-5546 |
| Authors: | Figallo Orellano, Aldo1 Slagter, Juan Sebastián1 |
| Institutions: | 1Universidad Nacional del Sur, Departamento de Matemática, Buenos Aires. Argentina 2University of Campinas, Centre for Logic Epistemology and The History of Science, Brasil |
| Year: | 2022 |
| Season: | Abr-Jun |
| Volumen: | 26 |
| Number: | 2 |
| Pages: | 801-813 |
| Country: | México |
| Language: | Inglés |
| English abstract | 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. |
| Keyword: | Trivalent Hilbert algebras, Modals operators, 3-valued Gödel logic, First-order logics |
| Full text: | Texto completo (Ver HTML) Texto completo (Ver PDF) |
