Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Mateo Ceballos, María Dolores"'
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
Computational Logic is a wide interdisciplinary field having its theoretical and practical roots in mathematics, computer science, logic, and artificial intelligence. Computational Logic try to produce efficient and powerful algorithms for deciding t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::72c21ec6a1dc3c299df07265538b4805
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
Natural deduction is a sound and complete proof procedure for propositional logic, that is, it only proves valid formulas and it proves every valid formula. In this work we establish the theory of propositional logic, and we prove the soundness and c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::656046e4f265712b6381eab0fe5f500d
https://idus.us.es/xmlui/handle/11441/63232
https://idus.us.es/xmlui/handle/11441/63232