Un análisis sintáctico de los cálculos C<SUB>n</SUB>, C<SUB>n</SUB><SUP>*</SUP>, C<SUB>n</SUB><SUP>-</SUP>

Abstract

En el presente trabajo, realizaremos un análisis sintáctico de los cálculos Cn, Cn*, Cn-, 1≤ n ≤ ω, descriptos por Da Costa en la publicación "On the theory of inconsistent formal systems". Utilizaremos en general la terminología y notaciones utilizadas por Kleene ([6]). El objeto del trabajo de Da Costa es la construcción de cálculos que sirvan como base para teorías inconsistentes no triviales. En el presente trabajo se respetan las definiciones, la axiomática y el orden del desarrollo de dicho trabajo. Se han agregado las definiciones, y algunos resultados que no están presentes en el trabajo, necesarios pata realizar las demostraciones faltantes.