Translator Disclaimer
September 2013 Higher-order illative combinatory logic
łukasz Czajka
J. Symbolic Logic 78(3): 837-872 (September 2013). DOI: 10.2178/jsl.7803080

Abstract

We show a model construction for a system of higher-order illative combinatory logic $\mathcal{I}_\omega$, thus establishing its strong consistency. We also use a variant of this construction to provide a complete embedding of first-order intuitionistic predicate logic with second-order propositional quantifiers into the system $\mathcal{I}_0$ of Barendregt, Bunder and Dekkers, which gives a partial answer to a question posed by these authors.

Citation

Download Citation

łukasz Czajka. "Higher-order illative combinatory logic." J. Symbolic Logic 78 (3) 837 - 872, September 2013. https://doi.org/10.2178/jsl.7803080

Information

Published: September 2013
First available in Project Euclid: 6 January 2014

zbMATH: 1341.03018
MathSciNet: MR3135501
Digital Object Identifier: 10.2178/jsl.7803080

Rights: Copyright © 2013 Association for Symbolic Logic

JOURNAL ARTICLE
36 PAGES

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

SHARE
Vol.78 • No. 3 • September 2013
Back to Top