References

  1. Gavin Biermann & Valeria de Paiva (2000): On an Intuitionistic Modal Logic. Studia Logica 65, pp. 383–416, doi:10.1023/A:1005291931660.
  2. Kosta Došen (1985): Sequent-Systems for Modal Logic. The Journal of Symbolic Logic 50(1), pp. 149–168, doi:10.2307/2273797.
  3. Kosta Došen (1986): Higher-Level Sequent Systems for Intuitionistic Modal Logic. Publications der L'Institut Mathématique 38(53), pp. 3–12. Available at http://eudml.org/doc/258513.
  4. Michael Dummett (1993): The Logical Basis of Metaphysics. Cambridge, Mass.: Harvard University Press.
  5. Nissim Francez (2014): Bilateralism in Proof-Theoretic Semantics. Journal of Philosophical Logic 43, pp. 239–259, doi:10.1007/s10992-012-9261-3.
  6. Nissim Francez (2018): Bilateralism does provide a proof theoretic treatment of classical logic (for non-technical reasons). Journal of Applied Logics 5(8), pp. 1653–1662.
  7. Michael Gabbay (2017): Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons). Journal of Applied Logic 25, pp. 108–122, doi:10.1016/j.jal.2017.11.001.
  8. Gerhard Gentzen (1934): Untersuchungen über das logische Schließen. Mathematische Zeitschrift 39, pp. 176–210, 405–431, doi:10.1007/BF01201353.
  9. Lloyd Humberstone (2000): The Revival of Rejective Negation. Journal of Philosophical Logic 29, pp. 331–381, doi:10.1023/A:1004747920321.
  10. Nils Kürbis (2007): Harmony, Normality and Stability. https://nilskurbis.weebly.com/uploads/4/8/9/6/48969837/kurbisstability.pdf.
  11. Nils Kürbis (2009): Stable Harmony. In: Michal Peliš: The Logica Yearbook 2008. London: College Publications, pp. 87–96.
  12. Nils Kürbis (2015): What is wrong with classical negation?. Grazer Philosophische Studien 92(1), pp. 51–85, doi:10.1163/9789004310841_004.
  13. Nils Kürbis (2016): Some Comments on Ian Rumfitt's Bilateralism. Journal of Philosophical Logic 45(6), pp. 623–644, doi:10.1007/s10992-016-9395-9.
  14. Nils Kürbis (2017): Bilateralist Detours: From Intuitionist to Classical Logic and Back. Logique et Analyse 60(239), pp. 301–316, doi:10.2143/LEA.239.0.3237156.
  15. Nils Kürbis (2019): Proof and Falsity. A Logical Investigation. Cambridge University Press, doi:10.1017/9781108686792.
  16. Nils Kürbis (2020): Sketch of a Proof-Theoretic Semantics for Necessity. In: Sara Negri, Nicola Olivetti & Rineke Verbrugge: Advances in Modal Logic 13. Booklet of Short Papers, pp. 37–43.
  17. Nils Kürbis (2021): Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule. Archive for Mathematical Logic online first, doi:10.1007/s00153-021-00775-6.
  18. Nils Kürbis (2021): Normalisation and Subformula Property for a System of Intuitionistic Logic with General Introduction and Elimination Rules. Synthese 199(5-6), pp. 14223–1428, doi:10.1007/s11229-021-03418-8.
  19. Nils Kürbis (2021): Normalisation for Bilateral Classical Logic with some Philosophical Remarks. Journal of Applied Logics 8(2), pp. 531–556.
  20. Nils Kürbis (2021): Note on `Normalisation for Bilateral Classical Logic with some Philosophical Remarks'. Journal of Applied Logics 8(7), pp. 2259–2261.
  21. Peter Milne (2010): Subformula and Separation Properties in Natural Deduction via Small Kripke Models. Review of Symbolic Logic 3(2), pp. 175–227, doi:10.1017/S175502030999030X.
  22. Peter Milne (2015): Inversion principles and introduction rules. In: Heinrich Wansing: Dag Prawitz on Proofs and Meaning. Cham, Heidelberg, New York, Dordrecht, London: Springer, pp. 175–227, doi:10.1007/978-3-319-11041-7_8.
  23. Sara Negri & Jan von Plato (2001): Structural Proof-Theory. Cambridge University Press, doi:10.1017/CBO9780511527340.
  24. Frank Pfenning & Rowan Davies (2001): A Judgemental Reconstruction of Modal Logic. Mathematical Structures in Computer Science 11(4), pp. 511–540, doi:10.1017/S0960129501003322.
  25. Jan von Plato (2001): Natural Deduction with General Elimination Rules. Archive for Mathematical Logic 40(4), pp. 541–567, doi:10.1007/s001530100091.
  26. Dag Prawitz (1965): Natural Deduction. Stockholm, Göteborg, Uppsala: Almqvist and Wiksell.
  27. Dag Prawitz (1979): Proofs and the Meaning and Completeness of the Logical Constants. In: Hintikka, Jakko et al.: Essays on Mathematical and Philosophical Logic. Dordrecht: Reidel, pp. 25–40, doi:10.1007/978-94-009-9825-4_2.
  28. Huw Price (1983): Sense, Assertion, Dummett and Denial. Mind 92, pp. 161–173, doi:10.1093/mind/XCII.366.161.
  29. Huw Price (1990): Why `Not'?. Mind 99, pp. 221–238, doi:10.1093/mind/XCIX.394.221.
  30. Huw Price (2016): `Not' Again. http://prce.hu/w/preprints/NotAgain.pdf.
  31. Arthur Prior (1961): The Runabout Inference Ticket. Analysis 21, pp. 38–39, doi:10.1093/analys/21.2.38.
  32. Stephen Read (2010): General-Elimination Harmony and the Meaning of the Logical Constants. Journal of Philosophical Logic 39(5), pp. 557–576, doi:10.1007/S10992-010-9133-7.
  33. Ian Rumfitt (2000): ``Yes'' and ``No''. Mind 109(436), pp. 781–823, doi:10.1093/mind/109.436.781.
  34. Heinrich Wansing (2017): A more general general proof theory. Journal of Applied Logic 25, pp. 23–46, doi:10.1016/j.jal.2017.01.002.
  35. Bernhard Weiss & Nils Kürbis (2022): Molecularity in the Theory of Meaning and the Topic Neutrality of Logic. Accepted for publication in Synthese Special Issue `Perspectives on Deduction', ed. by Antonio Piccolomini d'Aragona.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org