Sistema Experto en Deducción Natural

Dissertation, National Autonomus University of Mexico (1990)
Download Edit this record How to cite View on PhilPapers
Proceeding on the Automatic Deduction System developped at the Philosophy Faculty of the UNAM at Mexico City. (Deduktor Mexican Group of Logics work under the direction of the professor Hugo Padilla Chacón). Conference presented at the mexican City of Guadalajara at the Universidad de Guadalajara, Jalisco, by invitation of the latinoamerican association of philosophy SOPHIA. Early stage of the deductional systems at 2-valued logic. This work embodies the implementation of the first whole and standalone arithmetization of bivalent Logic, the theoretical framework of Hugo Padilla Chacón published in 1984.
PhilPapers/Archive ID
Upload history
First archival date: 2018-06-07
Latest version: 2 (2020-07-12)
View other versions
Added to PP index

Total views
56 ( #56,355 of 65,544 )

Recent downloads (6 months)
6 ( #61,121 of 65,544 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.