Content: BIBLIOSortPubli: byDateDesc
Publityp: ALL
Filter Corrresp: ALL
PubliLang: ALL
Decade: ALL
Dag Westerståhl
BibliographyBiographyWork & ideasLiteratureCORRESPALLBOOKSBOOKEDARTJRNLBYTITLECHRONOANTICHRONO
with Lindström Sten, Palmgren Erik (2012) Synthese 187 (3).
(2008) "Proofs instead of meaning explanations: understanding classical vs intuitionistic mathematics from the outside", in: Lupacchini Rossella; Corsi Giovanna (ed), Deduction, computation, experiment: exploring the effectiveness of proof, Dordrecht, Springer, pp.175-194.- with Lindström Sten, Palmgren Erik (2012) "Introduction: the philosophy of logical consequence and inference", Synthese 187 (3), pp.817-820.
- (2012) "From constants to consequence, and back", Synthese 187 (3), pp.957-971.