Sistema Experto en Deducción Natural

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
Revision history
Archival date: 2018-06-07
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
10 ( #37,376 of 38,007 )

Recent downloads (6 months)
5 ( #34,112 of 38,007 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.