Services on Demand
Journal
Article
Indicators
Cited by SciELO
Access statistics
Related links
Similars in SciELO
Share
Computación y Sistemas
On-line version ISSN 2007-9737Print version ISSN 1405-5546
Abstract
FIGALLO-ORELLANO, Aldo and 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 Mar 10, 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.
Keywords : Trivalent Hilbert algebras; modals operators; 3-valued Gödel logic; first-order logics.
![](/img/en/iconPDFDocument.gif)