Gabbay, D. Metalevel features in the object level. In Intensional Logics for Programming, L, Fari~nas del Cerro and M. Penttonen, eds. Oxford University Press, pp. 85--123, 1992.  Home/Search   Document Not in Database   Summary   Related Articles

....can be most easily determined by reasoning backward from the input P . To the extent that all the sentences in T are relevant to the derivation of P , the input P lends support to the sentences in T . The increased support given to T could be recorded in the form of metalogical labels [10] which somehow measure the degree of confirmation or utility of the sentences in T . The term degree of confirmation comes from philosophy of science, where it indicates the extent to which an hypothesis conforms to observational evidence. Here, I use the term more in the sense of ....

.... approach taken informally in much Prolog programming practice (including the so called non ground naming of variables [13] and more formally in the micro Prolog programming language [6] Semantic foundations for using syntactic expressions as their own names were laid by Richards [28] and Gabbay [10] and have been further developed by Jiang [15] The use of syntactic expressions as their own names allows combined object level metalevel sentences such as 8X; Y (X believes (Y; X) wise (Y ) In common with other universally quantified sentences, such sentences can be understood as standing ....

Gabbay, D. Metalevel features in the object level. In Intensional Logics for Programming, L, Fari~nas del Cerro and M. Penttonen, eds. Oxford University Press, pp. 85--123, 1992.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC