Árboles de Forzamiento Semántico para la
✍
Manuel Sierra Aristizabal
📂
Fiction
📅
2004
🏛
MS-Print
🌐
Spanish
⚖ 680 KB
En el capítulo 1 se presentan los sistemas deductivos para los sistemas LB: Lógica Básica con Afirmación y Negación Alternas, LB+¬Pc: Lógica Básica Paraconsistente respecto a la Afirmación y Negación Alternas, y LB+¬Po Lógica Básica Paracompleta respecto a la Afirmación y Negación Alternas. Cada uno