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]
No references recorded for this publication.
No citations of this publication recorded.