Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)

P. del Valle-Inclan, J. Schlöder, Coordination and Harmony in Bilateral Logic, Mind, (2022), DOI: https://doi.org/10.1093/mind/fzac012
Google Scholar DOI: https://doi.org/10.1093/mind/fzac012

F. Ferreira, The Co-ordination Principles: A Problem for Bilateralism, Mind, vol. 117(468) (2008), pp. 1051–1057, DOI: https://doi.org/10.1093/mind/fzn036
Google Scholar DOI: https://doi.org/10.1093/mind/fzn036

N. Francez, Bilateralism in proof-theoretic semantics, Journal of Philosophical Logic, vol. 43(2–3) (2014), pp. 239–259, DOI: https://doi.org/10.1007/s10992-012-9261-3
Google Scholar DOI: https://doi.org/10.1007/s10992-012-9261-3

N. Francez, Proof-theoretic semantics, College Publications, London (2015).
Google Scholar

M. Gabbay, Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons), Journal of Applied Logic, vol. 25(Supplement) (2017), pp. S108–S122, DOI: https://doi.org/10.1016/j.jal.2017.11.001
Google Scholar DOI: https://doi.org/10.1016/j.jal.2017.11.001

P. Gibbard, Price and Rumfitt on rejective negation and classical logic, Mind, vol. 111(442) (2002), pp. 297–303, DOI: https://doi.org/10.1093/mind/111.442.297
Google Scholar DOI: https://doi.org/10.1093/mind/111.442.297

O. T. Hjortland, Speech Acts, Categoricity, and the Meanings of Logical Connectives, Notre Dame Journal of Formal Logic, vol. 55(4) (2014), pp. 445–467, DOI: https://doi.org/10.1215/00294527-2798700
Google Scholar DOI: https://doi.org/10.1215/00294527-2798700

L. Humberstone, The Revival of Rejective Negation, Journal of Philosophical Logic, vol. 29 (2000), pp. 331–381, DOI: https://doi.org/10.1023/A:1004747920321
Google Scholar DOI: https://doi.org/10.1023/A:1004747920321

R. Kahle, P. Schroeder-Heister (eds.), Proof-Theoretic Semantics, Special issue of Synthese vol. 148(3), Springer (2006).
Google Scholar DOI: https://doi.org/10.1007/s11229-004-6292-5

N. Kürbis, Some Comments on Ian Rumfitt’s Bilateralism, Journal of Philosophical Logic, vol. 45 (2016), pp. 623–644, DOI: https://doi.org/10.1007/s10992-016-9395-9
Google Scholar DOI: https://doi.org/10.1007/s10992-016-9395-9

T. Piecha, P. Schroeder-Heister (eds.), Advances in Proof-Theoretic Semantics, Springer, Cham (2016), DOI: https://doi.org/10.1007/978-3-319-22686-6
Google Scholar DOI: https://doi.org/10.1007/978-3-319-22686-6

H. Price, Sense, Assertion, Dummett and Denial, Mind, vol. 92(366) (1983), pp. 161–173, DOI: https://doi.org/10.1093/mind/XCII.366.161
Google Scholar DOI: https://doi.org/10.1093/mind/XCII.366.161

G. Restall, Multiple conclusions, [in:] P. Hájek, L. Valdes-Villanueva, D. Westerståhl (eds.), Logic, Methodology and Philosophy of Science: Proceedings of the Twelfth International Congress, King’s College Publications, London (2005), pp. 189–205.
Google Scholar

G. Restall, Assertion, Denial and Non-classical Theories, [in:] K. Tanaka, F. Berto, E. Mares, F. Paoli (eds.), Paraconsistency: Logic and Applications, Springer, Dordrecht (2013), pp. 81–99, DOI: https://doi.org/10.1007/978-94-007-4438-7_6
Google Scholar DOI: https://doi.org/10.1007/978-94-007-4438-7_6

G. Restall, Speech acts & the quest for a natural account of classical proof (2021), article in progress.
Google Scholar

D. Ripley, Negation, Denial, and Rejection, Philosophy Compass, vol. 6(9) (2011), pp. 622–629, DOI: https://doi.org/10.1111/j.1747-9991.2011.00422.x
Google Scholar DOI: https://doi.org/10.1111/j.1747-9991.2011.00422.x

D. Ripley, Paradoxes and Failures of Cut, Australasian Journal of Philosophy, vol. 91(1) (2013), pp. 139–164, DOI: https://doi.org/10.1080/00048402.2011.630010
Google Scholar DOI: https://doi.org/10.1080/00048402.2011.630010

D. Ripley, Bilateralism, Coherence, Warrant, [in:] F. Moltmann, M. Textor (eds.), Act-Based Conceptions of Propositional Content: Contemporary and Historical Perspectives, Oxford University Press, Oxford (2017), pp. 307–324.
Google Scholar

D. Ripley, Denial, [in:] V. Déprez, M. T. Espinal (eds.), The Oxford Handbook of Negation, Oxford University Press, Oxford (2020), pp. 47–57, DOI: https://doi.org/10.1093/oxfordhb/9780198830528.013.21
Google Scholar DOI: https://doi.org/10.1093/oxfordhb/9780198830528.013.21

I. Rumfitt, “Yes” and “No”, Mind, vol. 109(436) (2000), pp. 781–823, DOI: https://doi.org/10.1093/mind/109.436.781
Google Scholar DOI: https://doi.org/10.1093/mind/109.436.781

P. Schroeder-Heister, Proof-Theoretic Semantics, [in:] E. N. Zalta, U. Nodelman (eds.), The Stanford Encyclopedia of Philosophy, Winter 2022 ed., Metaphysics Research Lab, Stanford University (2022), URL: https://plato.stanford.edu/archives/spr2018/entries/proof-theoretic-semantics/
Google Scholar

T. Smiley, Rejection, Analysis, vol. 56(1) (1996), pp. 1–9, DOI: https://doi.org/10.1111/j.0003-2638.1996.00001.x
Google Scholar DOI: https://doi.org/10.1093/analys/56.1.1

F. Steinberger, Why Conclusions Should Remain Single, Journal of Philosophical Logic, vol. 40 (2011), pp. 333–355, DOI: https://doi.org/10.1007/s10992-010-9153-3
Google Scholar DOI: https://doi.org/10.1007/s10992-010-9153-3

F. von Kutschera, Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle, Archiv für mathematische Logik und Grundlagenforschung, vol. 12 (1969), pp. 104–118, DOI: https://doi.org/10.1007/BF01969697
Google Scholar DOI: https://doi.org/10.1007/BF01969697

H. Wansing, Proofs, disproofs, and their duals, [in:] V. Goranko, L. Beklemishev, V. Sheht (eds.), Advances in Modal Logic, vol. 8, College Publications (2010), pp. 483–505.
Google Scholar

H. Wansing, A more general general proof theory, Journal of Applied Logic, vol. 25 (2017), pp. 23–46, DOI: https://doi.org/10.1016/j.jal.2017.01.002
Google Scholar DOI: https://doi.org/10.1016/j.jal.2017.01.002

H. Wansing, S. Ayhan, Logical Multilateralism (2023), submitted.
Google Scholar DOI: https://doi.org/10.1007/s10992-023-09720-9