论文信息 - Constructive generalized quantifiers - 字舞流文

Constructive generalized quantifiers

G. Sundholm | Göran Sundholm

[1] G. Sundholm. Proof Theory and Meaning , 1986 .

[2] P. Martin-Löf. An Intuitionistic Theory of Types: Predicative Part , 1975 .

[3] P. Aczel. The Type Theoretic Interpretation of Constructive Set Theory: Choice Principles , 1982 .

[4] Dov M. Gabbay,et al. Handbook of Philosophical Logic , 2002 .

[5] M. Dummett. Frege: Philosophy of Language , 1973 .

[6] Per Martin-Löf,et al. Intuitionistic type theory , 1984, Studies in proof theory.