Basic logic with alternating affirmation
| dc.citation.epage | 129 | |
| dc.citation.issue | 1 | |
| dc.citation.journalAbbreviatedTitle | ing.cienc. | eng |
| dc.citation.journalTitle | Ingeniería y Ciencia | eng |
| dc.citation.spage | 115 | |
| dc.citation.volume | 1 | |
| dc.contributor.affiliation | Universidad EAFIT | spa |
| dc.contributor.author | Sierra A., Manuel | spa |
| dc.coverage.spatial | Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees | eng |
| dc.date | 2005-04-01 | |
| dc.date.accessioned | 2019-11-22T19:22:16Z | |
| dc.date.available | 2019-11-22T19:22:16Z | |
| dc.date.issued | 2005-04-01 | |
| dc.description | The system language extends the language of classical logic by including an operator for the notion of alternating affirmation (in contrast to the classical affirmation or usual affirmation), and also operators of incompatibility and determinability between the pair of operators denial versus alternate affirmation. The system is characterized by a semantics of valuations, with which the non-equivalence between the two operators is shown. As expected, the system collapses in classical logic if this equivalence is requested. Two intermediate systems are generated when it is requested on the one hand that the alternate statement implies the classical one and on the other hand the reciprocal implication. | eng |
| dc.description | 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. | spa |
| dc.format | application/pdf | |
| dc.identifier.issn | 2256-4314 | |
| dc.identifier.issn | 1794-9165 | |
| dc.identifier.uri | http://hdl.handle.net/10784/14582 | |
| dc.language.iso | spa | spa |
| dc.publisher | Universidad EAFIT | spa |
| dc.relation.isversionof | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/507 | |
| dc.relation.uri | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/507 | |
| dc.rights | Copyright (c) 2005 Manuel Sierra A. | eng |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | eng |
| dc.rights.local | Acceso abierto | spa |
| dc.source | instname:Universidad EAFIT | |
| dc.source | reponame:Repositorio Institucional Universidad EAFIT | |
| dc.source | Ingeniería y Ciencia; Vol 1, No 1 (2005) | spa |
| dc.subject.keyword | Affirmation | eng |
| dc.subject.keyword | Alternate Affirmation | eng |
| dc.subject.keyword | Incompatibility | eng |
| dc.subject.keyword | Determinability | eng |
| dc.subject.keyword | Afirmación | spa |
| dc.subject.keyword | Afirmación Alterna | spa |
| dc.subject.keyword | Incompatibilidad | spa |
| dc.subject.keyword | Determinabilidad | spa |
| dc.title | Basic logic with alternating affirmation | eng |
| dc.title | Lógica básica con afirmación alterna | spa |
| dc.type | article | eng |
| dc.type | info:eu-repo/semantics/article | eng |
| dc.type | publishedVersion | eng |
| dc.type | info:eu-repo/semantics/publishedVersion | eng |
| dc.type.local | Artículo | spa |