Skip to main content

Non-classical Elegance for Sequent Calculus Enthusiasts


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, access via your institution.


  1. 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.

  2. Barwise, J., and J. Etchmendy, The Liar: An Essay on Truth and Circularity. Oxford University Press, Oxford, 1987.

  3. Burgess J.P.: The truth is never simple, Journal of Symbolic Logic 51, 663–681 (1986)

    Article  Google Scholar 

  4. Fjellstad A.: How a semantics for tonk should be, The Review of Symbolic Logic 8, 488–505 (2015)

    Article  Google Scholar 

  5. French, R., Structural reflexivity and the paradoxes of self- reference, Ergo, An Open Access Journal of Philosophy 3, 2016

  6. Greenough P.: Free assumptions and the liar paradox, American Philosophical Quarterly 38, 115–135 (2001)

    Google Scholar 

  7. Humberstone L.: Heterogeneous logic, Erkenntnis 29, 395–435 (1988)

    Article  Google Scholar 

  8. Kremer M.: Kripke and the logic of truth, Journal of Philosophical Logic 17, 225–278 (1988)

    Google Scholar 

  9. Kripke S.: Outline of a theory of truth, Journal of Philosophy 72, 690–716 (1975)

    Article  Google Scholar 

  10. Meadows, T., Advanced Logic Notes v1.1. Unpublished manuscript., 2015.

  11. Negri S.: Proof analysis in modal logic, Journal of Philosophical Logic 34, 507–544 (2005)

    Article  Google Scholar 

  12. Poggiolesi F.: A cut-free simple sequent calculus for modal logic S5, The Review of Symbolic Logic 1, 3–15 (2008)

    Article  Google Scholar 

  13. Poggiolesi, F., Gentzen Calculi for Modal Propositional Logic. Springer, 2011.

  14. Priest, G., An Introduction to Non-Classical Logic: From ifs to is. 2nd edition. Cambridge University Press, Cambridge, 2008.

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

    Article  Google Scholar 

  16. Ripley D.: Conservatively extending classical logic with transparent truth, The Review of Symbolic Logic 5, 354–378 (2012)

    Article  Google Scholar 

  17. Ripley D.: Paradoxes and failures of cut, Australasian Journal of Philosophy 91, 139–164 (2013)

    Article  Google Scholar 

  18. Steinberger, F., Harmony and logical inferentialism. PhD thesis. University of Cambridge, 2009.

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Andreas Fjellstad.

Rights and permissions

Reprints and Permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Fjellstad, A. Non-classical Elegance for Sequent Calculus Enthusiasts. Stud Logica 105, 93–119 (2017).

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: