RAESON: A Tool for Reasoning Tasks Driven by Interactive Visualization of Logical Structure
Abstract
The paper presents a software tool for analysis and interactive engagement in various logical reasoning tasks. A first feature of the program consists in providing an interface for working with logic-specific repositories of formal knowledge. A second feature provides the means to intuitively visualize and interactively generate the underlying logical structure that propels customary logical reasoning tasks. Starting from this we argue that both aspects have didactic potential and can be integrated in teaching activities to provide an engaging learning experience.
Cite
@article{arxiv.1507.03677,
title = {RAESON: A Tool for Reasoning Tasks Driven by Interactive Visualization of Logical Structure},
author = {Ştefan Minică},
journal= {arXiv preprint arXiv:1507.03677},
year = {2015}
}
Comments
Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M. Antonia Huertas, Jo\~ao Marcos, Mar\'ia Manzano, Sophie Pinchinat, Fran\c{c}ois Schwarzentruber