answersLogoWhite

0

Semantic rules determine operations that associate expressions of the given language with their meanings.

For Transparent Intensional Logic meanings are abstract procedures called "constructions", which are well-defined. Semantic rules - as seen from the TIL viewpoint - are instructions that make it possible to associate expressions with constructions. The result of a construction associated with an expression E - if any - is what Church calls "denotation" of E.

User Avatar

Wiki User

15y ago

What else can I help you with?