Busca avançada
Ano de início
Entree
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

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

Texto completo
Autor(es):
Coniglio, Marcelo E. [1, 2] ; Figallo, Martin [3]
Número total de Autores: 2
Afiliação do(s) autor(es):
[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
Número total de Afiliações: 3
Tipo de documento: Artigo Científico
Fonte: STUDIA LOGICA; v. 102, n. 3, p. 525-539, JUN 2014.
Citações Web of Science: 4
Resumo

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)

Processo FAPESP: 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS
Beneficiário:Walter Alexandre Carnielli
Linha de fomento: Auxílio à Pesquisa - Temático