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

Add code
Jul 02, 2020
Figure 1 for Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis
Figure 2 for Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: