In this paper we propose a framework, called OM pairs, for the formalization of reasoning with meta theories. OM pairs allow us to generate deductively the object theory and/or the meta theory by imposing via appropriate reflection rules, the relation we want to hold between the object and meta theory themselves. We study OM pairs from three different points of view: we compare the stength of the object and meta theories generated by different OM pairs. For each OM pair we study the precise form of the object theory and meta theory. For each OM pair we study the relation between the models of the meta theory and the object theory
A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case)
Giunchiglia, Fausto;Serafini, Luciano
1994-01-01
Abstract
In this paper we propose a framework, called OM pairs, for the formalization of reasoning with meta theories. OM pairs allow us to generate deductively the object theory and/or the meta theory by imposing via appropriate reflection rules, the relation we want to hold between the object and meta theory themselves. We study OM pairs from three different points of view: we compare the stength of the object and meta theories generated by different OM pairs. For each OM pair we study the precise form of the object theory and meta theory. For each OM pair we study the relation between the models of the meta theory and the object theoryFile 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.
