The goal of this paper is to propose a metatheory, MT which describes the computation which carries out deduction in the object theory. MT is proved to have some `standard` properties, eg. it is consistent and is is such that theoremhood of the name of a
A Metatheory of a Mechnized Object Theory
Giunchiglia, Fausto;Traverso, Paolo
1992-01-01
Abstract
The goal of this paper is to propose a metatheory, MT which describes the computation which carries out deduction in the object theory. MT is proved to have some `standard` properties, eg. it is consistent and is is such that theoremhood of the name of aFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
