Picture for Davide Catta

Davide Catta

TEXTE

Reasoning about Intuitionistic Computation Tree Logic

Add code
Oct 03, 2023
Viaarxiv icon

Logical Semantics, Dialogical Argumentation, and Textual Entailment

Add code
Aug 17, 2020
Figure 1 for Logical Semantics, Dialogical Argumentation, and Textual Entailment
Figure 2 for Logical Semantics, Dialogical Argumentation, and Textual Entailment
Figure 3 for Logical Semantics, Dialogical Argumentation, and Textual Entailment
Figure 4 for Logical Semantics, Dialogical Argumentation, and Textual Entailment
Viaarxiv icon