On the Costs of Classical Logic

Research output: Contribution to journalArticle (Academic Journal)peer-review

Original languageEnglish
Publication statusPublished - 3 Jun 2021

Bibliographical note

Funding Information:
I wish to thank audiences of the FSB seminar in Bristol and of the Axiomatizing Metatheory Workshop in Salzburg for their remarks, in particular I thank Catrin Campbell-Moore, Volker Halbach, and Carlo Nicolai. I thank two anonymous referees for their pertinent and helpful comments. I am particularly grateful to Leon Horsten and Johannes Stern for discussing with me the ideas of this paper on several occasions, and for their detailed and valuable suggestions. This work has been supported by the AHRC South, West and Wales Doctoral Training Partnership (SWW DTP), Grant No. AH/L503939/1-DTP1.

Publisher Copyright:
© 2021, The Author(s).

Cite this