[FOM] M] Compactness of second order propositional logic

[Adriano Palma]

Classically not unless you make it quant-free. I recall a paper showing that on intuitionistic with Kripke framing you can prove some form of compactness

-----Original Message-----
From: fom-bounces at cs.nyu.edu [mailto:fom-bounces at cs.nyu.edu] On Behalf Of Guillermo Badia
Sent: 19 April 2015 07:01
To: fom
Subject: [FOM] Compactness of second order propositional logic

Dear all,
Are second order propositional languages compact?

Thanks,
Guillermo
_______________________________________________
FOM mailing list
FOM at cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/fom