ICC 25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
artículos
Título:
Normalization, Soundness and Completeness for the Propositional Fragment of Prawitz? Ecumenical System
Autor/es:
RICARDO O. RODRIGUEZ; LUIZ CARLOS PEREIRA
Revista:
REVISTA PORTUGUESA DE FILOSOFIA
Editorial:
Publicações da Faculdade de Filosofia
Referencias:
Lugar: Lisboa; Año: 2017 vol. 73 p. 1153 - 1168
ISSN:
0870-5283
Resumen:
In 2015 Dag Prawitz proposed an Ecumenical system where classical and intuitionistic logic could coexist in peace. The classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation and the constant for the absurd, but they would each have their own existential quantifier, disjunction and implication, with differentmeanings. Prawitz? main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. The aim of the present paper is [1] to prove the normalization theorem for the propositional fragment NE of Prawitz? ecumenical system, and [2] to show that NEp is sound and complete with respect to a Kripke-style semantics for the language of NE.
