Re: Intuitionistic second order propositional logic: Any sources?

Jan Burse says...

Dear All

It seems that intuitionistic logic, when equipped
with quantifiers that range over propositional
variables, becomes classical.

Because we can define:

f= forall p p
Etc..

Anybody knows approaches to second order propositional
logic which does not collapse this way?

Why do you say it becomes classical? What you don't
have is ~~A -> A from this interpretation.
In terms of f, you don't have
((A -> f) -> f) -> A

--
Daryl McCullough
Ithaca, NY

.

Relevant Pages