On the complexity of propositional quantification in intuitionistic logic

被引：19

作者：

Kremer, P

机构：

[1] Department of Philosophy, Yale University, New Haven, CT 06520-8306

来源：

JOURNAL OF SYMBOLIC LOGIC | 1997年 / 62卷 / 02期

关键词：

D O I：

10.2307/2275545

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We define a propositionally quantified intuitionistic logic H pi+ by a natural extension of Kripke's semantics for propositional intuitionistic logic. We then show that H pi+ is recursively isomorphic to full second order classical logic. H pi+ is the intuitionistic analogue of the modal systems S5 pi+, S4 pi+, S4.2 pi+, K4 pi+, T pi+, K pi+ and B pi+, studied by Fine.

引用

页码：529 / 544

页数：16