Resumen de Lógica básica con afirmación alterna
El lenguaje del sistema extiende el lenguaje de la lógica clásica al incluir un operador para la noción de afirmación alterna (en contraste con la afirmación clásica o afirmación usual), y también operadores de incompatibilidad y determinabilidad entre la pareja de operadores negación versus afirmación alterna. El sistema está caracterizado por una semántica de valuaciones, con la cual se muestra la no equivalencia entre los dos operadores afirmación. Como es de esperarse, el sistema colapsa en la lógica clásica si se pide esta equivalencia. Se generan dos sistemas intermedios cuando se pide por un lado que la afirmación alterna implique la clásica y por otro lado la implicación recíproca.
