Artículos de revistas
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras
Registro en:
Studia Logica. Springer, v. 102, n. 3, n. 525, n. 539, 2014.
0039-3215
WOS:000335907700005
10.1007/s11225-013-9489-0
Autor
Coniglio, ME
Figallo, M
Institución
Resumen
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) We analyze the variety of A. Monteiro's tetravalent modal algebras under the perspective of two logic systems naturally associated to it. Taking profit of the contrapositive implication introduced by A. Figallo and P. Landini, sound and complete Hilbert-style calculi for these logics are presented. 102 3 525 539 Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) FAPESP [LogCons 2010/51038-0]