Basic logic for true and false LBVF

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 traditio...

Full description

Autores:
Sierra A., Manuel
Tipo de recurso:
Fecha de publicación:
2007
Institución:
Universidad EAFIT
Repositorio:
Repositorio EAFIT
Idioma:
spa
OAI Identifier:
oai:repository.eafit.edu.co:10784/14540
Acceso en línea:
http://hdl.handle.net/10784/14540
Palabra clave:
Truth
Falsity
Alternating Affirmation
Alternating Negation
Paracomplete
Good Foundation
Liar’S Paradox
Verdad
Falsedad
Afirmación Alterna
Negación Alterna
Paracompleto
Buen Fundamento
Paradoja Del Mentiroso
Rights
License
Copyright (c) 2007 Manuel Sierra A.
id REPOEAFIT2_d3b8f5f155322045ca277211777391a9
oai_identifier_str oai:repository.eafit.edu.co:10784/14540
network_acronym_str REPOEAFIT2
network_name_str Repositorio EAFIT
repository_id_str
spelling 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 degrees2007-12-122019-11-22T19:14:43Z2007-12-122019-11-22T19:14:43Z2256-43141794-9165http://hdl.handle.net/10784/14540System 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.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.application/pdfspaUniversidad EAFIThttp://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/445http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/445Copyright (c) 2007 Manuel Sierra A.Acceso abiertohttp://purl.org/coar/access_right/c_abf2instname:Universidad EAFITreponame:Repositorio Institucional Universidad EAFITIngeniería y Ciencia; Vol 3, No 6 (2007)Basic logic for true and false LBVFLógica básica para la verdad y la falsedad LBVFarticleinfo:eu-repo/semantics/articlepublishedVersioninfo:eu-repo/semantics/publishedVersionArtículohttp://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1TruthFalsityAlternating AffirmationAlternating NegationParacompleteGood FoundationLiar’S ParadoxVerdadFalsedadAfirmación AlternaNegación AlternaParacompletoBuen FundamentoParadoja Del MentirosoSierra A., ManuelUniversidad EAFITIngeniería y Ciencia36135171ing.cienc.ORIGINALdocument (3).pdfdocument (3).pdfTexto completo PDFapplication/pdf343656https://repository.eafit.edu.co/bitstreams/cc96de98-ede0-42ef-9226-9d9edc14456a/downloadaa4401281e013ac41a4d1c92f91e1f15MD51articulo.htmlarticulo.htmlTexto completo HTMLtext/html373https://repository.eafit.edu.co/bitstreams/b623ad2b-eed3-4253-9a99-2f8cae6ad481/download67fb194944ac76a65b0fa4c61da98ad3MD53THUMBNAILminaitura-ig_Mesa de trabajo 1.jpgminaitura-ig_Mesa de trabajo 1.jpgimage/jpeg265796https://repository.eafit.edu.co/bitstreams/a927d278-8d30-4d7f-9da2-6696f5b12f21/downloadda9b21a5c7e00c7f1127cef8e97035e0MD5210784/14540oai:repository.eafit.edu.co:10784/145402020-03-02 23:19:55.442open.accesshttps://repository.eafit.edu.coRepositorio Institucional Universidad EAFITrepositorio@eafit.edu.co
dc.title.eng.fl_str_mv Basic logic for true and false LBVF
dc.title.spa.fl_str_mv Lógica básica para la verdad y la falsedad LBVF
title Basic logic for true and false LBVF
spellingShingle Basic logic for true and false LBVF
Truth
Falsity
Alternating Affirmation
Alternating Negation
Paracomplete
Good Foundation
Liar’S Paradox
Verdad
Falsedad
Afirmación Alterna
Negación Alterna
Paracompleto
Buen Fundamento
Paradoja Del Mentiroso
title_short Basic logic for true and false LBVF
title_full Basic logic for true and false LBVF
title_fullStr Basic logic for true and false LBVF
title_full_unstemmed Basic logic for true and false LBVF
title_sort Basic logic for true and false LBVF
dc.creator.fl_str_mv Sierra A., Manuel
dc.contributor.author.spa.fl_str_mv Sierra A., Manuel
dc.contributor.affiliation.spa.fl_str_mv Universidad EAFIT
dc.subject.keyword.eng.fl_str_mv Truth
Falsity
Alternating Affirmation
Alternating Negation
Paracomplete
Good Foundation
Liar’S Paradox
topic Truth
Falsity
Alternating Affirmation
Alternating Negation
Paracomplete
Good Foundation
Liar’S Paradox
Verdad
Falsedad
Afirmación Alterna
Negación Alterna
Paracompleto
Buen Fundamento
Paradoja Del Mentiroso
dc.subject.keyword.spa.fl_str_mv Verdad
Falsedad
Afirmación Alterna
Negación Alterna
Paracompleto
Buen Fundamento
Paradoja Del Mentiroso
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.
publishDate 2007
dc.date.issued.none.fl_str_mv 2007-12-12
dc.date.available.none.fl_str_mv 2019-11-22T19:14:43Z
dc.date.accessioned.none.fl_str_mv 2019-11-22T19:14:43Z
dc.date.none.fl_str_mv 2007-12-12
dc.type.eng.fl_str_mv article
info:eu-repo/semantics/article
publishedVersion
info:eu-repo/semantics/publishedVersion
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_6501
http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.local.spa.fl_str_mv Artículo
status_str publishedVersion
dc.identifier.issn.none.fl_str_mv 2256-4314
1794-9165
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/10784/14540
identifier_str_mv 2256-4314
1794-9165
url http://hdl.handle.net/10784/14540
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.isversionof.none.fl_str_mv http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/445
dc.relation.uri.none.fl_str_mv http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/445
dc.rights.eng.fl_str_mv Copyright (c) 2007 Manuel Sierra A.
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.local.spa.fl_str_mv Acceso abierto
rights_invalid_str_mv Copyright (c) 2007 Manuel Sierra A.
Acceso abierto
http://purl.org/coar/access_right/c_abf2
dc.format.none.fl_str_mv application/pdf
dc.coverage.spatial.eng.fl_str_mv 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
dc.publisher.spa.fl_str_mv Universidad EAFIT
dc.source.none.fl_str_mv instname:Universidad EAFIT
reponame:Repositorio Institucional Universidad EAFIT
dc.source.spa.fl_str_mv Ingeniería y Ciencia; Vol 3, No 6 (2007)
instname_str Universidad EAFIT
institution Universidad EAFIT
reponame_str Repositorio Institucional Universidad EAFIT
collection Repositorio Institucional Universidad EAFIT
bitstream.url.fl_str_mv https://repository.eafit.edu.co/bitstreams/cc96de98-ede0-42ef-9226-9d9edc14456a/download
https://repository.eafit.edu.co/bitstreams/b623ad2b-eed3-4253-9a99-2f8cae6ad481/download
https://repository.eafit.edu.co/bitstreams/a927d278-8d30-4d7f-9da2-6696f5b12f21/download
bitstream.checksum.fl_str_mv aa4401281e013ac41a4d1c92f91e1f15
67fb194944ac76a65b0fa4c61da98ad3
da9b21a5c7e00c7f1127cef8e97035e0
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad EAFIT
repository.mail.fl_str_mv repositorio@eafit.edu.co
_version_ 1814110486153658368

Publicaciones similares