Sistema Experto en Deducción Natural

Dissertation, National Autonomus University of Mexico (1990)
Download Edit this record How to cite View on PhilPapers
Abstract
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.
Categories
PhilPapers/Archive ID
GARSEE-7
Upload history
First archival date: 2018-06-07
Latest version: 2 (2020-07-12)
View other versions
Added to PP index
2018-06-07

Total views
46 ( #48,948 of 55,823 )

Recent downloads (6 months)
6 ( #53,040 of 55,823 )

How can I increase my downloads?

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