> cs > arXiv:2510.14619
Computer Science > Logic in Computer Science
arXiv:2510.14619 (cs)
Abstract:A bilateralist take on proof-theoretic semantics can be understood as demanding of a proof system to display not only rules giving the connectives’ provability conditions but also their refutability conditions. On such a view, then, a system with two derivability relations is obtained, which can be quite naturally expressed in a proof system of natural deduction but which faces obstacles in a sequent calculus representation. Since in a sequent calculus there are two derivability relations inherent, one expressed by the sequent sign and one by the horizontal…
> cs > arXiv:2510.14619
Computer Science > Logic in Computer Science
arXiv:2510.14619 (cs)
Abstract:A bilateralist take on proof-theoretic semantics can be understood as demanding of a proof system to display not only rules giving the connectives’ provability conditions but also their refutability conditions. On such a view, then, a system with two derivability relations is obtained, which can be quite naturally expressed in a proof system of natural deduction but which faces obstacles in a sequent calculus representation. Since in a sequent calculus there are two derivability relations inherent, one expressed by the sequent sign and one by the horizontal lines holding between sequents, in a truly bilateral calculus both need to be dualized. While dualizing the sequent sign is rather straightforwardly corresponding to dualizing the horizontal lines in natural deduction, dualizing the horizontal lines in sequent calculus, uncovers problems that, as will be argued in this paper, shed light on deeper conceptual issues concerning an imbalance between the notions of proof vs. refutation. The roots of this problem will be further analyzed and possible solutions on how to retain a bilaterally desired balance in our system are presented.
| Subjects: | Logic in Computer Science (cs.LO); Logic (math.LO) |
| Cite as: | arXiv:2510.14619 [cs.LO] |
| (or arXiv:2510.14619v1 [cs.LO] for this version) | |
| https://doi.org/10.48550/arXiv.2510.14619 arXiv-issued DOI via DataCite (pending registration) | |
| Journal reference: | Erkenntnis, Published online: 13 October 2025 |
| Related DOI: | https://doi.org/10.1007/s10670-025-01004-9 DOI(s) linking to related resources |
Submission history
From: Sara Ayhan [view email] [v1] Thu, 16 Oct 2025 12:28:11 UTC (1,714 KB)
Current browse context:
cs.LO
Change to browse by:
export BibTeX citation