Zobrazeno 1 - 10
of 10
pro vyhledávání: '"LÓGICA DE PRIMER ORDEN"'
Publikováno v:
Crítica: Revista Hispanoamericana de Filosofía, 2008 Apr 01. 40(118), 57-78.
Externí odkaz:
https://www.jstor.org/stable/40105003
Autor:
Diego N. Márquez Sosa
Publikováno v:
Lenguaje, Vol 36, Iss 2, Pp 617-628 (2008)
La lógica de predicados de primer orden es una herramienta muy conveniente para abordar problemas de ambigüedad propios del lenguaje natural. El hecho de que dentro de este sistema existan valores fijos para las interpretaciones, impide que existan
Externí odkaz:
https://doaj.org/article/8745d29f1b5f4f8d8a286bc0ee617d06
Autor:
Hudgson Steele, Marcelino
Publikováno v:
Repositorio Universidad Javeriana
Pontificia Universidad Javeriana
instacron:Pontificia Universidad Javeriana
Pontificia Universidad Javeriana
instacron:Pontificia Universidad Javeriana
La teoría de este trabajo da las condiciones necesarias y suficientes para afirmar que un hecho es malo para alguien o algo (en el sentido de infortunado y no en el sentido moral). La hipótesis de partida es: se afirma que un hecho es malo para un
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::f4ab20fce99cb4d67cccee78f0dbc3c5
Autor:
Olivarez Stagnaro, Damian
Publikováno v:
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Páginas de Filosofía; Vol. 18, Núm. 21 (2017); 108-120
Repositorio Digital Institucional (UNCo)
Universidad Nacional del Comahue
instacron:UNCo
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Páginas de Filosofía; Vol. 18, Núm. 21 (2017); 108-120
Repositorio Digital Institucional (UNCo)
Universidad Nacional del Comahue
instacron:UNCo
Con el surgimiento de las teorías del razonamiento rebatible (principalmente en el área de IA) ha sido creada una nueva clasificación de argumentos (relativamente a la lógica tradicional) que distingue entre argumentos deductivos y argumentos der
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1a30d86beaeadfdb4ba46f9e4c73fce0
http://revele.uncoma.edu.ar/htdoc/revele/index.php/filosofia/article/view/1865
http://revele.uncoma.edu.ar/htdoc/revele/index.php/filosofia/article/view/1865
Autor:
Merma Mora, Miguel Angel
Publikováno v:
Universidad Nacional Mayor de San MarcosRepositorio de Tesis - UNMSM.
En la tesis de licenciatura de Miguel Angel Merma Mora, autor de la presente investigación, se establece una interpretación algebraica de la lógica proposicional y del lenguaje predicativo monádico en un nivel básicamente intuitivo, ya que en es
Externí odkaz:
http://cybertesis.unmsm.edu.pe/handle/cybertesis/7436
Publikováno v:
Repositorio EAFIT
Universidad EAFIT
instacron:Universidad EAFIT
Universidad EAFIT
instacron:Universidad EAFIT
We describe a syntactical proof-reconstruction approach to verify derivations generated by Metis prover to theorems in classical propositional logic -- To verify such derivations, we formalize in type theory each inference rule of the Metis reasoning
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::17b8bba8391e4176a5e860920efcc224
http://hdl.handle.net/10784/12484
http://hdl.handle.net/10784/12484
Publikováno v:
Digibug. Repositorio Institucional de la Universidad de Granada
instname
instname
Este manuscrito cubre los contenidos de la asignatura Fundamentos Lógicos de la Programación. Incluye demostración formal y semántica de la lógica proposicional, semántica y deducción en lógica de primer orden. Por último se describe el prin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::342d93923b4388c47eea383e12d814b0
http://hdl.handle.net/10481/43278
http://hdl.handle.net/10481/43278
Publikováno v:
O2, repositorio institucional de la UOC
Universitat Oberta de Catalunya (UOC)
CIÊNCIAVITAE
Scopus-Elsevier
Universitat Oberta de Catalunya (UOC)
CIÊNCIAVITAE
Scopus-Elsevier
The definition of identity in terms of other logical symbols is a recurrent issue in logic. In particular, in First-Order Logic (FOL) there is no way of defining the global relation of identity, while in standard Second-Order Logic (SOL) this definit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4f4cbce5c8f3ee227d80e901ba51f551
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
Este artículo presenta un acercamiento a la resolución de problemas abductivos en C-estructuras, estructuras que tienen un universo de discurso finito y cada uno de sus elementos es la interpretación de una constante conocida. Empleando una varian
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::31327e04e0ddfb54131c58f7e0d650b7
Autor:
Piza Volio, Eduardo
Publikováno v:
Revista de Filosofía de la Universidad de Costa Rica; Revista de Filosofía : Volumen 43, Número 109-110
Portal de Revistas UCR
Universidad de Costa Rica
instacron:UCR
Portal de Revistas UCR
Universidad de Costa Rica
instacron:UCR
En este trabajo se analiza el famoso problema de decisión de la lógica canónica de primer orden F0 (también llamado "Entscheidungsproblem") desde una perspectiva moderna. Se aprovecha el desarrollo alcanzado por la teoría de la recursión y de l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::4026acc53a54d4024d212b7f8711719f
https://revistas.ucr.ac.cr/index.php/filosofia/article/view/7504
https://revistas.ucr.ac.cr/index.php/filosofia/article/view/7504