| Full text | |
| Author(s): |
Figallo-Orellano, Aldo
;
Sebastian Slagter, Juan
Total Authors: 2
|
| Document type: | Journal article |
| Source: | Comp. y Sist.; v. 26, n. 2, p. 13-pg., 2022-01-01. |
| Abstract | |
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) | |
| FAPESP's process: | 16/21928-0 - Non-deterministic semantics for logics of formal inconsistency |
| Grantee: | Aldo Figallo Orellano |
| Support Opportunities: | Scholarships in Brazil - Post-Doctoral |