高阶推理组合逻辑
Higher-order illative combinatory logic
摘要：
我们展示了一个高阶推理组合逻辑系统$\mathcal{I}_ω$的模型构造，从而建立了它的强一致性。我们还使用这种结构的一个变体，以提供一个完整的嵌入系统$\mathcal{I}_0$的Barendregt，Bunder和Dekkers的一阶直觉谓词逻辑与二阶命题量词，这给出了部分回答这些作者提出的问题。
英文摘要：
We show a model construction for a system of higher-order illative combinatory logic $\mathcal{I}_ω$, 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
