Advanced search
Start date
Betweenand
Related content
(Reference retrieved automatically from Web of Science through information on FAPESP grant and its corresponding number as mentioned in the publication by the authors.)

Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras

Full text
Author(s):
Coniglio, Marcelo E. [1, 2] ; Figallo, Martin [3]
Total Authors: 2
Affiliation:
[1] Univ Estadual Campinas, CLE, Campinas, SP - Brazil
[2] Univ Estadual Campinas, Dept Philosophy, Campinas, SP - Brazil
[3] Univ Nacl Sur, Dept Matemat, RA-8000 Bahia Blanca, Buenos Aires - Argentina
Total Affiliations: 3
Document type: Journal article
Source: STUDIA LOGICA; v. 102, n. 3, p. 525-539, JUN 2014.
Web of Science Citations: 4
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. (AU)

FAPESP's process: 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS
Grantee:Walter Alexandre Carnielli
Support Opportunities: Research Projects - Thematic Grants