Article contents
Higher-Order Illative Combinatory Logic
Published online by Cambridge University Press: 12 March 2014
Abstract
We show a model construction for a system of higher-order illative combinatory logic 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 of Barendregt, Bunder and Dekkers, which gives a partial answer to a question posed by these authors.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2013
References
REFERENCES
- 2
- Cited by