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.)

Unifying logics via context-sensitiveness

Texto completo
Autor(es):
Piazza, Mario ; Pulcini, Gabriele
Número total de Autores: 2
Tipo de documento: Artigo Científico
Fonte: JOURNAL OF LOGIC AND COMPUTATION; v. 27, n. 1, p. 21-40, FEB 2017.
Citações Web of Science: 6
Resumo

The goal of this article is to design a uniform proof-theoretical framework encompassing classical, non-monotonic and paraconsistent logic. This framework is obtained by the control sets logical device, a syntactical apparatus for controlling derivations. Abasic feature of control sets is that of leaving the underlying syntax of a proof system unchanged, while affecting the very combinatorial structure of sequents and proofs. We prove the cut-elimination theorem for a version of controlled propositional classical logic, i. e. the sequent calculus for classical propositional logic to which a suitable system of control sets is applied. Finally, we outline the skeleton of a new (positive) account of non- monotonicity and paraconsistency in terms of concurrent processes. (AU)

Processo FAPESP: 13/22371-0 - Em direção a um marco lógico unitário para a não-monotonidade e a paraconsistência
Beneficiário:Gabriele Pulcini
Linha de fomento: Bolsas no Brasil - Pós-Doutorado