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

Coniglio, Marcelo E.; Figallo, Martin

Advanced search

Search - Use quotation marks to get a more specific result

Index

Field of knowledge

Start date

Betweenand

(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

Short URL