Por favor, use este identificador para citar o enlazar este ítem:
http://repositoriodigital.ipn.mx/handle/123456789/15110
Título : | Using Difference Reduction for Generic Proof Search |
Autor : | Negrete, Santiago |
Palabras clave : | Keywords. Framework theories, proof search, rewrite rules, unification, natural deduction. |
Fecha de publicación : | 15-dic-1998 |
Editorial : | Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3 |
Citación : | Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3 |
Citación : | Revista Computación y Sistemas;Vol. 2 No. 2 y No. 3 |
Resumen : | Abstract. In this paper a new approach to generic theorem proving is introduced. We present a set 01 techniques to guide prool search in framework theories that works with different object theories encoded. The techniques are based on the principIe 01 Difference Reduction and programmed in a Proof Plans environment. We use presentations ollogics in natural deduction style to test our techniques. Two example theorem prools are included to show how the whole setting works. |
URI : | http://www.repositoriodigital.ipn.mx/handle/123456789/15110 |
ISSN : | 1405-5546 |
Aparece en las colecciones: | Revistas |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
ART 7.pdf | 1.31 MB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.