Harmony and Normalisation in Bilateral Logic

Bulletin of the Section of Logic 52 (3):377-409 (2023)
  Copy   BIBTEX

Abstract

In a recent paper del Valle-Inclan and Schlöder argue that bilateral calculi call for their own notion of proof-theoretic harmony, distinct from the usual (or ‘unilateral’) ones. They then put forward a specifically bilateral criterion of harmony, and present a harmonious bilateral calculus for classical logic. In this paper, I show how del Valle-Inclan and Schlöder’s criterion of harmony suggests a notion of normal form for bilateral systems, and prove normalisation for two (harmonious) bilateral calculi for classical logic, HB1 and HB2. The resulting normal derivations have the usual desirable features, like the separation and subformula properties. HB1-normal form turns out to be strictly stronger that the notion of normal form proposed by Nils Kürbis, and HB2-normal form is neither stronger nor weaker than a similar proposal by Marcello D’Agostino, Dov Gabbay, and Sanjay Modgyl.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,042

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Bilateral Inversion Principles.Nils Kürbis - 2022 - Electronic Proceedings in Theoretical Computer Science 358:202–215.
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
Bilateral Rules as Complex Rules.Leonardo Ceragioli - 2023 - Bulletin of the Section of Logic 52 (3):329-375.
A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic (3):1-34.

Analytics

Added to PP
2023-07-19

Downloads
25 (#722,716)

6 months
15 (#317,982)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic (3):1-34.

Add more citations

References found in this work

The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.
The runabout inference ticket.Arthur Prior - 1967 - In Peter Frederick Strawson (ed.), Philosophical logic. London,: Oxford University Press. pp. 38-9.
Yes and no.I. Rumfitt - 2000 - Mind 109 (436):781-823.
Some Comments on Ian Rumfitt’s Bilateralism.Nils Kürbis - 2016 - Journal of Philosophical Logic 45 (6):623-644.

View all 8 references / Add more references