Sistema Experto en Deducción Natural

Dissertation, National Autonomus University of Mexico (1990)
  Copy   BIBTEX


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.

Author's Profile

Gabriel Garduño-Soto
National Autonomous University of Mexico


Added to PP

218 (#74,427)

6 months
64 (#80,815)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?