Una solución moderna para el "Entscheidungsproblem"
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 los sistemas productivos semi-Thue, luego de lo...
| Main Author: | |
|---|---|
| Format: | Online |
| Language: | spa |
| Published: |
Universidad de Costa Rica
2005
|
| Online Access: | https://revistas.ucr.ac.cr/index.php/filosofia/article/view/7504 |