This line of research includes the following proposals:Study of logical constants. What pragmatist and inferentialist approaches can contribute to how they are treated.
Semantic and pragmatic mechanisms of quantifier domain restriction (binding argument).
Mathematical logic and argumentation.

Designing and applying visual tools to the learning of logic and mathematics. This involves developing tools that can be useful in cases of dyslexia or autism