Using Difference Reduction for Generic Proof Search

dc.creatorNEGRETE , SANTIAGO
dc.date2009-10-05
dc.date.accessioned2018-03-16T14:22:16Z
dc.date.available2018-03-16T14:22:16Z
dc.identifierhttp://ojs.unam.mx/index.php/cys/article/view/2482
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1190354
dc.descriptionIN THIS PAPER A NEW APROACH TO GENERIC THEOREM PROVING IS INTRODUCED. WE PRESENT A SET OF TECHNIQUES TO GUIDE PROOF SEARCH IN FRAMEWORK THEORIES THAT WORKS WITH DIFFERENT OBJECT THEORIES ENCODED. THE TECHNIQUES ARE BASED ON THE PRICIPLE OF DIFFERENCE REDUCTION AND PROGRAMMED IN A PROOF PLANS ENVIROMENT. WE USE PRESENTATIONS OF LOGIES IN NATURAL DEDUCTION STYLE TO TEST OUR TECHNIQUES TWO EXAMPLE THEOREM PROOFS ARE INCLUDED TO SHOW HOW THE WHOLE SETTING WORKS.en-US
dc.descriptionIN THIS PAPER A NEW APROACH TO GENERIC THEOREM PROVING IS INTRODUCED. WE PRESENT A SET OF TECHNIQUES TO GUIDE PROOF SEARCH IN FRAMEWORK THEORIES THAT WORKS WITH DIFFERENT OBJECT THEORIES ENCODED. THE TECHNIQUES ARE BASED ON THE PRICIPLE OF DIFFERENCE REDUCTION AND PROGRAMMED IN A PROOF PLANS ENVIROMENT. WE USE PRESENTATIONS OF LOGIES IN NATURAL DEDUCTION STYLE TO TEST OUR TECHNIQUES TWO EXAMPLE THEOREM PROOFS ARE INCLUDED TO SHOW HOW THE WHOLE SETTING WORKS.es-ES
dc.formatapplication/pdf
dc.languagespa
dc.publisherComputación y Sistemases-ES
dc.relationhttp://ojs.unam.mx/index.php/cys/article/view/2482/2044
dc.sourceComputación y Sistemas; Vol 2, No 002 (1999)es-ES
dc.source1405-5546
dc.subject;FRAMEWORK THEORIES; PROOF SEARCH; REWRITE RULES; UNIFICATION; NATURAL DEDUCTIONes-ES
dc.titleUsing Difference Reduction for Generic Proof Searches-ES
dc.typeArtículos de revistas
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución