Paper: On Logical Formulation Of The Computation Process In Semantical Systems

ACL ID C73-1007
Title On Logical Formulation Of The Computation Process In Semantical Systems
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1973
Authors

objects) which provide the intended interpretations of the expressions. Based on the explicit syntax given by Scott and Strachey in the form of context-free gram- mar, we can describe this syntax for binary numerals by the following logical formulae: ON LOGICAL FORMULATION OF THE' COMPUTATION PROCESS Numeral (~ Numeml (1) Numeml (~ Numeml (~ Numeral (x-0) Numeral (xA1), 91 f: Nml ~ N. Thus, for each x ~ Nml, the function value f(x) is the number deno- ted by the numeral x. Based on the idea of the semantical equations given by Scott and Strachey and using our general principles described in ~ 2, we can use the language of predicate logic to state the following semantic rules which define precisely this evaluation function: (3.1) (3.2) (3.3) (3.4) Numeral (0) ~ f(O) = O, Numeral (1) D f(1) ...