INMABB 05456
INSTITUTO DE MATEMATICA BAHIA BLANCA
Unidad Ejecutora - UE
artículos
Título:
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras
Autor/es:
MARCELO CONIGLIO; MARTÍN FIGALLO
Revista:
STUDIA LOGICA
Editorial:
Springer
Referencias:
Año: 2013 vol. 102 p. 525 - 539
ISSN:
0039-3215
Resumen:
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.
