On the Costs of Classical Logic

Luca Castaldo

doi:10.1007/s10670-021-00397-7

On the Costs of Classical Logic

Luca Castaldo

Research output: Contribution to journal › Article (Academic Journal) › peer-review

1 Citation (Scopus)

61 Downloads (Pure)

Original language	English
Journal	Erkenntnis
DOIs	https://doi.org/10.1007/s10670-021-00397-7
Publication status	Published - 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).

Access to Document

10.1007/s10670-021-00397-7

Full-text PDF (final published version)
This is the final published version of the article (version of record). It first appeared online via Springer at https://doi.org/10.1007/s10670-021-00397-7 . Please refer to any applicable terms of use of the publisher.
Final published version, 509 KBLicence: CC BY

Handle.net

Persistent link

Cite this

@article{138577ac820b48dba09658c6fa2edb0b,

title = "On the Costs of Classical Logic",

author = "Luca Castaldo",

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: {\textcopyright} 2021, The Author(s).",

year = "2021",

month = jun,

day = "3",

doi = "10.1007/s10670-021-00397-7",

language = "English",

journal = "Erkenntnis",

issn = "0165-0106",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - On the Costs of Classical Logic

AU - Castaldo, Luca

N1 - 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).

PY - 2021/6/3

Y1 - 2021/6/3

U2 - 10.1007/s10670-021-00397-7

DO - 10.1007/s10670-021-00397-7

M3 - Article (Academic Journal)

SN - 0165-0106

JO - Erkenntnis

JF - Erkenntnis

ER -