An Algebraic Study of the First Order Version of some Implicational Fragments of Three-Valued Łukasiewicz Logic
Título del documento: An Algebraic Study of the First Order Version of some Implicational Fragments of Three-Valued Łukasiewicz Logic
Revista: Computación y sistemas
Base de datos:
Número de sistema: 000560680
ISSN: 1405-5546
Autors: 1
1
Institucions: 1Universidad Nacional del Sur, Departamento de Matemática, Buenos Aires. Argentina
2University of Campinas, Centre for Logic Epistemology and The History of Science, Brasil
Any:
Període: Abr-Jun
Volum: 26
Número: 2
Paginació: 801-813
País: México
Idioma: Inglés
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.
Keyword: Trivalent Hilbert algebras,
Modals operators,
3-valued Gödel logic,
First-order logics
Text complet: Texto completo (Ver HTML) Texto completo (Ver PDF)