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

Uniqueness of axiomatic extensions of cut-free classical propositional logic

Texto completo
Autor(es):
Piazza, Mario ; Pulcini, Gabriele
Número total de Autores: 2
Tipo de documento: Artigo Científico
Fonte: LOGIC JOURNAL OF THE IGPL; v. 24, n. 5, p. 708-718, OCT 2016.
Citações Web of Science: 0
Resumo

In this article, we prove that, for any cluster of extra-logical assumptions, there exists exactly one axiomatic (i.e. minimal) extension of classical propositional logic that admits cut elimination. As a corollary, it follows that classically equivalent formulas share the same axiomatization. The moral is that cut elimination `flattens' the specific information encoded by the logical structure of proper axioms. (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