|
|||||
|
|
Positive Frege and its Scott‐style semantics |
|
| Authors: | Thierry Libert |
| Abstract: | We show that the untyped λ ‐calculus can be extended with Frege's interpretation of propositional notions, provided we restrict β ‐conversion to positive expressions. The system of illative λ ‐calculus so obtained admits a natural Scott‐style semantics. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| Keywords: | Frege's system untyped λ ‐calculus positive set theory |