Normalization, soundness and completeness for the propositional fragment of Prawitz' Ecumenical system

• Autores: Luiz Carlos Pereira, Ricardo Oscar Rodríguez
• Localización: Revista portuguesa de filosofía, ISSN 0870-5283, Vol. 73, Fasc. 3-4, 2017 (Ejemplar dedicado a: Ciências Formais e Filosofia: lógica e matemática), págs. 1153-1168
• Idioma: inglés
• DOI: 10.17990/rpf/2017_73_3_1153
• Texto completo no disponible (Saber más ...)