Busca avançada
Ano de início
Entree
Conteúdo relacionado
(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.)

POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES

Texto completo
Autor(es):
Agudelo, Juan C. [1, 2, 3] ; Carnielli, Walter [4, 5, 6]
Número total de Autores: 2
Afiliação do(s) autor(es):
[1] State Univ Campinas UNICAMP, Phd Program Philosophy, Area Log, IFCH, Campinas, SP - Brazil
[2] State Univ Campinas UNICAMP, Grp Appl & Theoret Log CLE, Campinas, SP - Brazil
[3] Eafit Univ, Log & Computat Res Grp, Medellin - Colombia
[4] State Univ Campinas UNICAMP, Dept Philosophy, Campinas, SP - Brazil
[5] State Univ Campinas UNICAMP, Grp Appl & Theoret Log, Ctr Log Epistemol & Hist Sci CLE, Campinas, SP - Brazil
[6] SQIG IT, Lisbon - Portugal
Número total de Afiliações: 6
Tipo de documento: Artigo Científico
Fonte: Review of Symbolic Logic; v. 4, n. 1, p. 150-170, MAR 2011.
Citações Web of Science: 6
Resumo

A new (sound and complete) proof style adequate for modal logics is defined from the polynomial ring calculus (PRC). The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra-Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S5, and can be easily extended to other modal logics. (AU)

Processo FAPESP: 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications
Beneficiário:Walter Alexandre Carnielli
Linha de fomento: Auxílio à Pesquisa - Temático
Processo FAPESP: 05/04123-3 - Computação quântica, computação paraconsistente e lógica: interrelações e fundamentos dos algoritmos quânticos
Beneficiário:Juan Carlos Agudelo Agudelo
Linha de fomento: Bolsas no Brasil - Doutorado