๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Inference and self-reference

โœ Scribed by Bas C. Fraassen


Publisher
Springer Netherlands
Year
1970
Tongue
English
Weight
690 KB
Volume
21
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Reference and inference in fiction
โœ John Heintz ๐Ÿ“‚ Article ๐Ÿ“… 1979 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 922 KB
Self-reference and validity
โœ Stephen Read ๐Ÿ“‚ Article ๐Ÿ“… 1979 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 458 KB
Parametrized Quotation and Self-Referenc
โœ C.M.W. Little ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 206 KB

This paper is concerned with the theoretical issues surrounding the specification of self-applicative computer programs. In particular we seek to explain the competing requirements desireable of any formal system that admits both of self-reference and quotation, and present three new solutions to th

Anti-foundation and self-reference
โœ Colin McLarty ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 533 KB