Gabriel Garduño-Soto
National Autonomous University of Mexico
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.
Keywords Multivalued logic  Trivalent logic  Logical deduction  Expert system
Categories (categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

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.
Deducción y conocimiento en los orígenes de la teoría de la demostración.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.
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.


Added to PP index

Total views
61 ( #173,508 of 2,444,936 )

Recent downloads (6 months)
5 ( #149,359 of 2,444,936 )

How can I increase my downloads?


My notes