2020-07-3020050120-341Xhttp://hdl.handle.net/10784/17169El sistema Lógica básica con afirmación y negación alternas incluye, además de los operadores usuales de afirmación y negación, operadores para las nociones de afi rmación y negación alternas y operadores de incompatibilidad y determinabilidad entre la afirmación usual y la negación alterna, entre la negación usual y la afirmación alterna y entre los operadores alternos de afirmación y negación. El sistema está caracterizado por una semántica de valuaciones tradicional, con la cual se establece la diferencia entre los operadores afirmación y entre los operadores negación.application/pdfspaCopyright © 2005 Manuel Sierra Aristizábalarticleinfo:eu-repo/semantics/openAccessAfirmaciónNegaciónIncompatibilidadDeterminabilidadAcceso abierto2020-07-30Sierra Aristizábal, Manuel