Basic logic for true and false LBVF
| dc.citation.epage | 171 | |
| dc.citation.issue | 6 | |
| dc.citation.journalAbbreviatedTitle | ing.cienc. | eng |
| dc.citation.journalTitle | Ingeniería y Ciencia | eng |
| dc.citation.spage | 135 | |
| dc.citation.volume | 3 | |
| 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 | 2007-12-12 | |
| dc.date.accessioned | 2019-11-22T19:14:43Z | |
| dc.date.available | 2019-11-22T19:14:43Z | |
| dc.date.issued | 2007-12-12 | |
| dc.description | System LBVF is an extension of the classical positive logic, the system includes operators of alternating affirmation, alternating negation and determinability, and the operators of classical negation and good foundation are defined as from them. The system is characterized by a semantic of traditional valuations. Respect to the negation and affirmation operators the system is paracomplete.In the system the definitions of truth and falsity presented by Aristotle are really characterized, representing the Aristotelian falsity with the operator of alternating negation and the Aristotelian truth with the operator of alternating affirmation. This interpretation gives solution to a variant of the liar’s paradox. | eng |
| dc.description | El sistema LBVF es una extensión de la lógica positiva clásica, el sistema incluye operadores de afirmación alterna, negación alterna y determinabilidad, y los operadores de negación clásica y buena base se definen a partir de ellos. El sistema se caracteriza por una semántica de valoraciones tradicionales. Respeto a los operadores de negación y afirmación, el sistema es incompleto. En el sistema, las definiciones de verdad y falsedad presentadas por Aristóteles se caracterizan realmente, representando la falsedad aristotélica con el operador de negación alterna y la verdad aristotélica con el operador de afirmación alterna. Esta interpretación da solución a una variante de la paradoja del mentiroso. | spa |
| dc.format | application/pdf | |
| dc.identifier.issn | 2256-4314 | |
| dc.identifier.issn | 1794-9165 | |
| dc.identifier.uri | http://hdl.handle.net/10784/14540 | |
| dc.language.iso | spa | spa |
| dc.publisher | Universidad EAFIT | spa |
| dc.relation.isversionof | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/445 | |
| dc.relation.uri | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/445 | |
| dc.rights | Copyright (c) 2007 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 3, No 6 (2007) | spa |
| dc.subject.keyword | Truth | eng |
| dc.subject.keyword | Falsity | eng |
| dc.subject.keyword | Alternating Affirmation | eng |
| dc.subject.keyword | Alternating Negation | eng |
| dc.subject.keyword | Paracomplete | eng |
| dc.subject.keyword | Good Foundation | eng |
| dc.subject.keyword | Liar’S Paradox | eng |
| dc.subject.keyword | Verdad | spa |
| dc.subject.keyword | Falsedad | spa |
| dc.subject.keyword | Afirmación Alterna | spa |
| dc.subject.keyword | Negación Alterna | spa |
| dc.subject.keyword | Paracompleto | spa |
| dc.subject.keyword | Buen Fundamento | spa |
| dc.subject.keyword | Paradoja Del Mentiroso | spa |
| dc.title | Basic logic for true and false LBVF | eng |
| dc.title | Lógica básica para la verdad y la falsedad LBVF | 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 |