FOM: intuitionist propositional logic
Robert Tragesser
RTragesser at compuserve.com
Tue Apr 20 19:13:12 EDT 1999
See Troelstra's introduction to the below cited paper in G.'s Collected
Works Vol.I for a start bibliography.
rtragesser
William Tait wrote
>>Robert Black wrote
>Can anyone tell me where I can find information on propositional logics
>intermediate between intuitionist logic and classical logic? As is well
>known, adding excluded middle or double-negation elimination collapses
>intuitionist logic into classical logic. But we can add to intuitionistic
>propositional logic, for example, the schema (p -> q) v (q -> p) and get
>something strictly stronger, but still weaker than classical logic. How
>many such intermediate logics are there, and how are they ordered?
There is the original paper of Goedel's: ``On the Intuitionistic
propositional logic'', (1931-2, 1933). Then there are
T. Umezawa ``On intermediate propositional logics'', JSL 24 #1 (1959)
I. Nishimura ``On formulas of one variable in intuitionistic propositional
calculus'' JSL 25 #4 (1960)
As you see, all of these are quite old; and very likely there is more
recent stuff. But I don't know of more recent work and I haven't thought
about whether the papers I cited help with your problem.
Regards, Bill
PS. Thyank you for not once mentioning universes
>>.
More information about the FOM
mailing list