A functional partial semantics for intensional logic (Q689211): Difference between revisions

Inspired, e.g., by Tichý, Muskens, and Lepage, the author works out a semantics of higher-order languages for the case that partial functions are taken into account. The idea that classical models are limit cases of partial models is made precise. The fact that Schönfield's reduction of many-place functions to one-place functions cannot be applied to partial functions is circumvented by introducing the least defined function as a ``truth-value which is not defined'' (Bochvar's approach? -- P.M.). One of the key results (Proposition 31) is that ``for every partial model which is total there corresponds exactly one classical model''.