Uniqueness of logical connectives in a bilateralist setting

in: The Logica Yearbook 2020, ed. by Igor Sedl\'ar & Martin Blicha, pp. 1-16, College Publications (2021) In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantic...

Full description

Saved in:
Bibliographic Details
Main Author Ayhan, Sara
Format Journal Article
LanguageEnglish
Published 03.10.2022
Subjects
Computer Science - Logic in Computer Science
Mathematics - Logic
Online AccessGet full text

Cover

More Information
Summary:in: The Logica Yearbook 2020, ed. by Igor Sedl\'ar & Martin Blicha, pp. 1-16, College Publications (2021) In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, the logic 2Int is suitable, for which I introduce a sequent calculus system, displaying - just like the corresponding natural deduction system - a consequence relation for provability as well as one dual to provability. I will propose a modified characterization of uniqueness incorporating such a duality of consequence relations, with which we can maintain uniqueness in a bilateralist setting.
DOI:10.48550/arxiv.2210.00989