Hi folks.

I want to find out as much as I can about Second Order *non-classical*
logics.  In other words, things like second-order intuitionistic
logic, relevant logics, linear logics, or quantum logic.
Even second order modal logics would be interesting…

If you can think of any places where these kinds of things
are studied, I’d love to hear about them.

Thanks in advance

Greg

–
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Redemption rips through the surface     | g…@cltr.uq.oz.au
of time in the cry of a tiny babe.      | Philosophy Department, University of
                      – Bruce Cockburn. | Queensland, 4072, Australia.
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=