Abstract
In this paper we develop what we can describe as a “dual two-sided” cut-free sequent calculus system for the non-classical logics of truth lp, k 3, stt and a non-reflexive logic ts which is, arguably, more elegant than the three-sided sequent calculus developed by Ripley (The Review of Symbolic Logic 5:354–378, 2012) for the same logics. Its elegance stems from how it employs more or less the standard sequent calculus rules for the various connectives and truth, and the fact that it offers a rather neat connection between derivable sequents and validity in comparison to the calculus developed by Ripley (The Review of Symbolic Logic 5:354–378, 2012).
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Avron, A., The method of hypersequents in proof theory of propositional nonclassical logics, in W. Hodges (ed.), Logic: From Foundations to Application. Clarendon Press, Oxford, 1996, pp. 1–32.
Barwise, J., and J. Etchmendy, The Liar: An Essay on Truth and Circularity. Oxford University Press, Oxford, 1987.
Burgess J.P.: The truth is never simple, Journal of Symbolic Logic 51, 663–681 (1986)
Fjellstad A.: How a semantics for tonk should be, The Review of Symbolic Logic 8, 488–505 (2015)
French, R., Structural reflexivity and the paradoxes of self- reference, Ergo, An Open Access Journal of Philosophy 3, 2016
Greenough P.: Free assumptions and the liar paradox, American Philosophical Quarterly 38, 115–135 (2001)
Humberstone L.: Heterogeneous logic, Erkenntnis 29, 395–435 (1988)
Kremer M.: Kripke and the logic of truth, Journal of Philosophical Logic 17, 225–278 (1988)
Kripke S.: Outline of a theory of truth, Journal of Philosophy 72, 690–716 (1975)
Meadows, T., Advanced Logic Notes v1.1. Unpublished manuscript. https://sites.google.com/site/tobymeadows/papers-talks/downloads/Advanced%20Logic%20Notes%20v1.1.pdf, 2015.
Negri S.: Proof analysis in modal logic, Journal of Philosophical Logic 34, 507–544 (2005)
Poggiolesi F.: A cut-free simple sequent calculus for modal logic S5, The Review of Symbolic Logic 1, 3–15 (2008)
Poggiolesi, F., Gentzen Calculi for Modal Propositional Logic. Springer, 2011.
Priest, G., An Introduction to Non-Classical Logic: From ifs to is. 2nd edition. Cambridge University Press, Cambridge, 2008.
Restall G.: A cut-free sequent system for two-dimensional modal logic, and why it matters, Annals of Pure and Applied Logic 163, 1611–1623 (2012)
Ripley D.: Conservatively extending classical logic with transparent truth, The Review of Symbolic Logic 5, 354–378 (2012)
Ripley D.: Paradoxes and failures of cut, Australasian Journal of Philosophy 91, 139–164 (2013)
Steinberger, F., Harmony and logical inferentialism. PhD thesis. University of Cambridge, 2009.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Fjellstad, A. Non-classical Elegance for Sequent Calculus Enthusiasts. Stud Logica 105, 93–119 (2017). https://doi.org/10.1007/s11225-016-9683-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-016-9683-y