Proof-theoretic pluralism

Filippo Ferrari, Eugenio Orlandelli. Proof-theoretic pluralism. Synthese, 198(20):4879-4903, 2021. [doi]

@article{FerrariO21,
  title = {Proof-theoretic pluralism},
  author = {Filippo Ferrari and Eugenio Orlandelli},
  year = {2021},
  doi = {10.1007/s11229-019-02217-6},
  url = {https://doi.org/10.1007/s11229-019-02217-6},
  researchr = {https://researchr.org/publication/FerrariO21},
  cites = {0},
  citedby = {0},
  journal = {Synthese},
  volume = {198},
  number = {20},
  pages = {4879-4903},
}