Translator Disclaimer
December 2004 Higher-order semantics and extensionality
Christoph Benzmüller, Chad E. Brown, Michael Kohlhase
J. Symbolic Logic 69(4): 1027-1088 (December 2004). DOI: 10.2178/jsl/1102022211

Abstract

In this paper we re-examine the semantics of classical higher-order logic with the purpose of clarifying the role of extensionality. To reach this goal, we distinguish nine classes of higher-order models with respect to various combinations of Boolean extensionality and three forms of functional extensionality. Furthermore, we develop a methodology of abstract consistency methods (by providing the necessary model existence theorems) needed to analyze completeness of (machine-oriented) higher-order calculi with respect to these model classes.

Citation

Download Citation

Christoph Benzmüller. Chad E. Brown. Michael Kohlhase. "Higher-order semantics and extensionality." J. Symbolic Logic 69 (4) 1027 - 1088, December 2004. https://doi.org/10.2178/jsl/1102022211

Information

Published: December 2004
First available in Project Euclid: 2 December 2004

zbMATH: 1071.03024
MathSciNet: MR2135655
Digital Object Identifier: 10.2178/jsl/1102022211

Rights: Copyright © 2004 Association for Symbolic Logic

JOURNAL ARTICLE
62 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.69 • No. 4 • December 2004
Back to Top