Resumo

FIGALLO-ORELLANO, Aldo  e  SLAGTER, Juan Sebastián. An Algebraic Study of the First Order Version of some Implicational Fragments of Three-Valued Łukasiewicz Logic. Comp. y Sist. [online]. 2022, vol.26, n.2, pp.801-813.  Epub 10-Mar-2023. ISSN 2007-9737.  https://doi.org/10.13053/cys-26-2-4246.

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.

Palavras-chave : Trivalent Hilbert algebras; modals operators; 3-valued Gödel logic; first-order logics.

        · texto em Inglês     · Inglês ( pdf )