eprintid: 10195683
rev_number: 13
eprint_status: archive
userid: 699
dir: disk0/10/19/56/83
datestamp: 2024-08-13 10:39:28
lastmod: 2024-08-14 15:57:35
status_changed: 2024-08-13 10:39:28
type: proceedings_section
metadata_visibility: show
sword_depositor: 699
creators_name: Kürbis, Nils
title: Bilateral Inversion Principles
ispublished: pub
divisions: UCL
divisions: B03
divisions: C01
divisions: F16
note: The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.
abstract: This paper formulates a bilateral account of harmony that is an alternative to one proposed by
Francez. It builds on an account of harmony for unilateral logic proposed by K ¨urbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and
consequences of formulas with the opposite speech act. I formulate a process I call ‘inversion’ which
allows the determination of assertive elimination rules from assertive introduction rules, and rejective
elimination rules from rejective introduction rules, and conversely. It corresponds to Francez’s notion
of vertical harmony. I also formulate a process I call ‘conversion’, which allows the determination
of rejective introduction rules from assertive elimination rules and conversely, and the determination of assertive introduction rules from rejective elimination rules and conversely. It corresponds to
Francez’s notion of horizontal harmony. The account has a number of features that distinguishes it
from Francez’s.
date: 2022-03
date_type: published
publisher: NCL
official_url: https://doi.org/10.4204/EPTCS.358.15
oa_status: green
full_text_type: pub
language: eng
primo: open
primo_central: open_green
verified: verified_manual
elements_id: 2109690
doi: 10.4204/EPTCS.358.15
lyricists_name: Kurbis, Nils
lyricists_id: NKURB54
actors_name: Kurbis, Nils
actors_id: NKURB54
actors_role: owner
full_text_status: public
pres_type: paper
series: EPTCS
publication: NCL
volume: 358
place_of_pub: Łódź, Poland
pagerange: 202-215
event_title: 10th International Conference on Non-Classical Logics (EPTCS)
book_title: Proceedings of the 10th International Conference on Non-Classical Logics
editors_name: Indrzejczak, Andrzej
editors_name: Zawidzki, Michal
citation:        Kürbis, Nils;      (2022)    Bilateral Inversion Principles.                     In: Indrzejczak, Andrzej and Zawidzki, Michal, (eds.) Proceedings of the 10th International Conference on Non-Classical Logics.  (pp. pp. 202-215).  NCL: Łódź, Poland.       Green open access   
 
document_url: https://discovery.ucl.ac.uk/id/eprint/10195683/1/Kuerbis_2204.06732v1.pdf