Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis

Fuenmayor, DavidDavidFuenmayor0000-0002-0042-4538Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932024-05-232024-05-232020https://fis.uni-bamberg.de/handle/uniba/95347engHigher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysispreprint10.48550/arxiv.2007.010192007.01019