Raymond Smullyan on Self Reference by Melvin Fitting & Brian Rayman

Raymond Smullyan on Self Reference by Melvin Fitting & Brian Rayman

Author:Melvin Fitting & Brian Rayman
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham


Translating CL in

There are translations in both directions between CL and , preserving certain properties. Here we will only be concerned with the easy direction, from CL to . The translation consists of the contextual closure of the replacements

To keep reading light, we allow ourselves the notational liberty of using the same letter for a term in CL and its translation in . The reader who dislikes that, will have no problem in inserting several as used in Barendregt (1984) at the right places. The salient property is that reduction is preserved:



Download



Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.