A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents

Annemarie Borg, Christian Straßer, Ofer Arieli. A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents. Studia Logica, 109(1):167-238, 2021. [doi]

Abstract

Abstract is missing.