Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras |
| |
| Authors: | Marcelo E. Coniglio Martín Figallo |
| |
| Affiliation: | 1. CLE and Department of Philosophy, State University of Campinas, Campinas, Brazil
|
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
