Basic logic with alternating affirmation
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 altern...
- Autores:
-
Sierra A., Manuel
- Tipo de recurso:
- Fecha de publicación:
- 2005
- Institución:
- Universidad EAFIT
- Repositorio:
- Repositorio EAFIT
- Idioma:
- spa
- OAI Identifier:
- oai:repository.eafit.edu.co:10784/14582
- Acceso en línea:
- http://hdl.handle.net/10784/14582
- Palabra clave:
- Affirmation
Alternate Affirmation
Incompatibility
Determinability
Afirmación
Afirmación Alterna
Incompatibilidad
Determinabilidad
- Rights
- License
- Copyright (c) 2005 Manuel Sierra A.
| id |
REPOEAFIT2_84bee77026d5b7008963a97569310f6f |
|---|---|
| oai_identifier_str |
oai:repository.eafit.edu.co:10784/14582 |
| 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 degrees2005-04-012019-11-22T19:22:16Z2005-04-012019-11-22T19:22:16Z2256-43141794-9165http://hdl.handle.net/10784/14582The 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.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.application/pdfspaUniversidad EAFIThttp://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/507http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/507Copyright (c) 2005 Manuel Sierra A.Acceso abiertohttp://purl.org/coar/access_right/c_abf2instname:Universidad EAFITreponame:Repositorio Institucional Universidad EAFITIngeniería y Ciencia; Vol 1, No 1 (2005)Basic logic with alternating affirmationLógica básica con afirmación alternaarticleinfo: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_2df8fbb1AffirmationAlternate AffirmationIncompatibilityDeterminabilityAfirmaciónAfirmación AlternaIncompatibilidadDeterminabilidadSierra A., ManuelUniversidad EAFITIngeniería y Ciencia11115129ing.cienc.THUMBNAILminaitura-ig_Mesa de trabajo 1.jpgminaitura-ig_Mesa de trabajo 1.jpgimage/jpeg265796https://repository.eafit.edu.co/bitstreams/8eb7797c-d2df-4222-a0f7-4bc1c37511f2/downloadda9b21a5c7e00c7f1127cef8e97035e0MD51ORIGINAL8.pdf8.pdfTexto completo PDFapplication/pdf192059https://repository.eafit.edu.co/bitstreams/0f18405b-4c57-4d48-8258-18cee8f9e087/download99b3c38d5249b1052a038ddccfb5e48eMD52articulo.htmlarticulo.htmlTexto completo HTMLtext/html373https://repository.eafit.edu.co/bitstreams/8dc646a4-b78a-46ff-8593-b4708ac7012b/download606775ccbdb2355f3e7a981f2a70bb70MD5310784/14582oai:repository.eafit.edu.co:10784/145822020-02-11 20:38:31.057open.accesshttps://repository.eafit.edu.coRepositorio Institucional Universidad EAFITrepositorio@eafit.edu.co |
| dc.title.eng.fl_str_mv |
Basic logic with alternating affirmation |
| dc.title.spa.fl_str_mv |
Lógica básica con afirmación alterna |
| title |
Basic logic with alternating affirmation |
| spellingShingle |
Basic logic with alternating affirmation Affirmation Alternate Affirmation Incompatibility Determinability Afirmación Afirmación Alterna Incompatibilidad Determinabilidad |
| title_short |
Basic logic with alternating affirmation |
| title_full |
Basic logic with alternating affirmation |
| title_fullStr |
Basic logic with alternating affirmation |
| title_full_unstemmed |
Basic logic with alternating affirmation |
| title_sort |
Basic logic with alternating affirmation |
| 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 |
Affirmation Alternate Affirmation Incompatibility Determinability |
| topic |
Affirmation Alternate Affirmation Incompatibility Determinability Afirmación Afirmación Alterna Incompatibilidad Determinabilidad |
| dc.subject.keyword.spa.fl_str_mv |
Afirmación Afirmación Alterna Incompatibilidad Determinabilidad |
| 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. |
| publishDate |
2005 |
| dc.date.issued.none.fl_str_mv |
2005-04-01 |
| dc.date.available.none.fl_str_mv |
2019-11-22T19:22:16Z |
| dc.date.accessioned.none.fl_str_mv |
2019-11-22T19:22:16Z |
| dc.date.none.fl_str_mv |
2005-04-01 |
| 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/14582 |
| identifier_str_mv |
2256-4314 1794-9165 |
| url |
http://hdl.handle.net/10784/14582 |
| 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/507 |
| dc.relation.uri.none.fl_str_mv |
http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/507 |
| dc.rights.eng.fl_str_mv |
Copyright (c) 2005 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) 2005 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 1, No 1 (2005) |
| 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/8eb7797c-d2df-4222-a0f7-4bc1c37511f2/download https://repository.eafit.edu.co/bitstreams/0f18405b-4c57-4d48-8258-18cee8f9e087/download https://repository.eafit.edu.co/bitstreams/8dc646a4-b78a-46ff-8593-b4708ac7012b/download |
| bitstream.checksum.fl_str_mv |
da9b21a5c7e00c7f1127cef8e97035e0 99b3c38d5249b1052a038ddccfb5e48e 606775ccbdb2355f3e7a981f2a70bb70 |
| 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_ |
1808498889206005760 |