From constants to consequence, and back

2012

Dag Westerståhl

Synthese 187 (3)

Introduction

The philosophy of logical consequence and inference

2012

Sten Lindström, Erik Palmgren, Dag Westerståhl

Synthese 187 (3)

The philosophy of logical consequence and inference

2012

Sten Lindström, Erik Palmgren, Dag Westerståhl (eds)

Synthese 187 (3)

Proofs instead of meaning explanations

understanding classical vs intuitionistic mathematics from the outside

2008

Dag Westerståhl

in: Deduction, computation, experiment, Berlin,