Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Manuel Sierra-Aristizabal"'
Autor:
Manuel Sierra-Aristizabal
Publikováno v:
Manuel Sierra-Aristizabal
En este trabajo, se presentan los gráficos existenciales para el cálculo proposicional paraconsistente, KT4P. Este sistema deductivo, es un fragmento de la lógica proposicional modal S4, y se construye a partir del cálculo proposicional clásico
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d8727c8a310577d7dcfb6cc70fe1ef0
https://doi.org/10.15446/rev.fac.cienc.v11n2.99198
https://doi.org/10.15446/rev.fac.cienc.v11n2.99198
Autor:
Manuel Sierra-Aristizabal
Publikováno v:
Revista de la Facultad de Ciencias, Vol 5, Iss 1, Pp 61-75 (2016)
Manuel Sierra-Aristizabal
Manuel Sierra-Aristizabal
Se construyen de manera detallada, nuevas fórmulas para calcular la derivada y la anti-derivada de la función raíz de una potencia entera en el campo de los números reales. Se prueba que estas nuevas fórmulas son válidas en todo el dominio de l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8d517611bed1f47b7a98aece0d86b782
https://doi.org/10.15446/rev.fac.cienc.v5n1.55306
https://doi.org/10.15446/rev.fac.cienc.v5n1.55306
Autor:
Manuel Sierra-Aristizabal
Publikováno v:
Ingeniería y Ciencia, Vol 6, Iss 12 (2010)
Manuel Sierra-Aristizabal
Manuel Sierra-Aristizabal
Se presentan como extensiones del cálculo proposicional clásico las jerarquías de sistemas deductivos LER–n y LDR–n, con n ≥ 1. LER–n es la Lógica epistémica con restricciones de profundidad–n, LDR–n es la Lógica doxástica con rest
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::968e92afbb6de821daad2c8b85847c89
http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/335
http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/335
Autor:
Manuel Sierra-Aristizabal
Publikováno v:
Ingeniería y Ciencia, Vol 4, Iss 8 (2008)
Universidad EAFIT
Repositorio Institucional Universidad EAFIT
Ingeniería y Ciencia; Vol 4, No 8 (2008)
Manuel Sierra-Aristizabal
Universidad EAFIT
Repositorio Institucional Universidad EAFIT
Ingeniería y Ciencia; Vol 4, No 8 (2008)
Manuel Sierra-Aristizabal
They are presented as extensions of the classical propositional calculus, the hierarchy of deductive systems SMM – n with n> 1. SMM – n is the multi – modal system of depth – n. The SMM – 1 system is the classic propositional calculation. T
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::907c66b1b9ba7a50cb9b09034da9856a
http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/222
http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/222
Autor:
Manuel Sierra-Aristizabal
Publikováno v:
Ingeniería y Ciencia, Vol 3, Iss 6 (2007)
Manuel Sierra-Aristizabal
Manuel Sierra-Aristizabal
El sistema LBVF se construye como una extensión de la lógica clásica positiva, al incluir operadores de afirmación alterna, negación alterna y completez, además, se definen a partir de ellos los operadores de negación clásica y buena fundamen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f085aa2e349577093cfdd960796d4036
http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/445
http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/445
Autor:
Manuel Sierra-Aristizabal
Publikováno v:
Revista Universidad EAFIT, Vol. 43, No. 146 (2007)
Manuel Sierra-Aristizabal
Repositorio EAFIT
Universidad EAFIT
instacron:Universidad EAFIT
Manuel Sierra-Aristizabal
Repositorio EAFIT
Universidad EAFIT
instacron:Universidad EAFIT
Se presentan como extensiones del cálculo proposicional clásico, las jerarquías de sistemas deductivos SCR-(n+1) y CP-n con n ≥ 0. SCR-n es el sistema de creencias para los razonadores de tipo n y CP-n es el cálculo proposicional asociado a los
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e44e8a18fa3942bd381c0eaef678d7b1
http://hdl.handle.net/10784/16724
http://hdl.handle.net/10784/16724
Autor:
Manuel Sierra-Aristizabal
Publikováno v:
Revista Universidad EAFIT, Vol. 43, No. 148 (2007)
Repositorio EAFIT
Universidad EAFIT
instacron:Universidad EAFIT
Manuel Sierra-Aristizabal
Repositorio EAFIT
Universidad EAFIT
instacron:Universidad EAFIT
Manuel Sierra-Aristizabal
El sistema LBPcPo se construye como una extensión de la lógica clásica positiva al incluir dos operadores de negación alterna, un operador de incompatibilidad y un operador de completez, y a partir de los cuales se definen los operadores de negac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8e63e3bf64b1294bb1d10e5bfbd36193
Autor:
Manuel Sierra-Aristizabal
Publikováno v:
Universidad EAFIT
Repositorio Institucional Universidad EAFIT
Ingeniería y Ciencia; Vol 2, No 4 (2006)
Manuel Sierra-Aristizabal
Ingeniería y Ciencia, Vol 2, Iss 4 (2006)
Repositorio Institucional Universidad EAFIT
Ingeniería y Ciencia; Vol 2, No 4 (2006)
Manuel Sierra-Aristizabal
Ingeniería y Ciencia, Vol 2, Iss 4 (2006)
The language of the LBPc¬I system extends the language of positive classical logic by including a weak negation operator and an incompatibility operator, in addition, it allows defining a strong negation operator; The latter has all the characterist
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::752ed05be8dbefbaf71fb319afd6c597
http://hdl.handle.net/10784/14558
http://hdl.handle.net/10784/14558
Autor:
Manuel Sierra-Aristizabal
Publikováno v:
Ingeniería y Ciencia, Vol 2, Iss 3 (2006)
Universidad EAFIT
Repositorio Institucional Universidad EAFIT
Ingeniería y Ciencia; Vol 2, No 3 (2006)
Manuel Sierra-Aristizabal
Universidad EAFIT
Repositorio Institucional Universidad EAFIT
Ingeniería y Ciencia; Vol 2, No 3 (2006)
Manuel Sierra-Aristizabal
The classic propositional calculus is characterized by a visual inference tool called semantic forcing trees. With this tool the nodes of the tree associated with a given formula are marked, and based on these marks it is determined whether the formu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8a39347b11ea624dfb32dd6e835ff035
http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/487
http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/487
Autor:
Manuel Sierra-Aristizabal
Publikováno v:
Revista Universidad EAFIT, Vol. 41, No. 138 (2005)
Manuel Sierra-Aristizabal
Repositorio EAFIT
Universidad EAFIT
instacron:Universidad EAFIT
Manuel Sierra-Aristizabal
Repositorio EAFIT
Universidad EAFIT
instacron:Universidad EAFIT
El 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 determinabilid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::de3dee14767cdb96aee824c99891c671
http://hdl.handle.net/10784/17169
http://hdl.handle.net/10784/17169