Sistema Experto en Deducción dentro de la Lógica Normal Trivalente

, , &
In Gabriel Garduño-Soto, David René Thierry García, Rafael Vidal Uribe & Hugo Padilla Chacón (eds.), VIa. Conferencia Internacional: Las Computadoras en Instituciones de Educación y de Investigación. Cómputo Académico, UNAM, UNISYS, México, octubre 3–5, 1990. National Autonomous University of Mexico (1990)
  Copy   BIBTEX

Abstract

Proceeding of the work in trivalent logic developped under the direction of the professor Hugo Padilla Chacón at the 90's at the National Autonome University of México. Program in RLisp.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Sistema Experto en Deducción Natural.Gabriel Garduño-Soto, David-René Thierry-García, Rafael Vidal-Uribe & Hugo Padilla-Chacón - 1990 - Dissertation, National Autonomus University of Mexico
Sistema Experto para Resolver Problemas Lógicos de Deducción.Gabriel Garduño-Soto, David René Thierry García, Rafael Vidal Uribe & Hugo Padilla Chacón - 1989 - In Va. Conferencia Internacional: Las Computadoras en Instituciones de Educación y de Investigación. Cómputo Académico, UNAM, UNISYS, México, noviembre 14–16, 1989. Mexico City, México: National Autonomous University of Mexico.
Generador de Genes (Gengen).Gabriel Garduño-Soto & Hugo Padilla Chacón - 1992 - In Garduño-Soto, G. and Padilla-Chacón, H. “Generador de Genes (Gengen).” VIIIa. Conferencia Internacional: Las Computadoras en Instituciones de Educación y de Investigación. Cómputo Académico, UNAM, UNISYS, México, 1992. Mexico City, Mexico: National Autonomous University of Mexico. pp. 262-265.
Enfoque matemático de la semántica del cálculo proposicional.Hugo Padilla Chacón - 1984 - Revista de Filosofía (Universidad Iberoamericana, México) 44:158-175.
Opuscula logica. 2. The tripropositional bivalent level (3L2) and its relationship with the aristotelic syllogistic.Gabriel Garduño-Soto - 2008 - Mexico, DF, MEXICO: Author's edition.
Deducción y conocimiento en los orígenes de la teoría de la demostración (Deduction and Knowledge in the Origins of Proof Theory).Javier Legris - 2001 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 16 (3):521-538.
Completeness of an ancient logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
On the interaction of semantics and deduction in Transparent Intensional Logic.Jiří Raclavský - 2014 - Logic and Logical Philosophy 23 (1):57-68.
Eléments de logique trivalente. Du calcul trivalent à sa modalité ontique.R. Tsh Ntambue - 2000 - Studia Logica 65 (3):443-443.
A double deduction system for quantum logic based on natural deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
Aristotle: an ancient mathematical logician.George Boger - unknown
Natural Deduction for Dual-intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.
Semantics-based Nonmonotonic Inference.Heinrich Wansing - 1995 - Notre Dame Journal of Formal Logic 36 (1):44-54.
Theory of completeness for logical spaces.Kensaku Gomi - 2009 - Logica Universalis 3 (2):243-291.
Connecting bilattice theory with multivalued logic.Daniele Genito & Giangiacomo Gerla - 2014 - Logic and Logical Philosophy 23 (1):15-45.

Analytics

Added to PP
2018-06-07

Downloads
204 (#94,714)

6 months
73 (#58,948)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

David Garcia
Gabriel Garduño-Soto
National Autonomous University of Mexico

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references