{dasasap}, an App for Syllogisms

José Martín Castro-Manzano; Verónica Reyes-Meza; Jorge Medina-Delgadillo

{dasasap}, an App for Syllogisms

Computers and Society 2015-07-20 v2 Logic in Computer Science

Authors: José Martín Castro-Manzano , Verónica Reyes-Meza , Jorge Medina-Delgadillo

Abstract

The main goal of this contribution is to introduce a cross-platform application to learn-teach syllogistic. We call this application \textit{dasasap} for \textit{develop all syllogisms as soon as possible}. To introduce this application we show the logical foundations for the game with a system we call $\mathcal{L}_\square$ , and its interface developed with LiveCode.

Cite

@article{arxiv.1507.03664,
  title  = {{dasasap}, an App for Syllogisms},
  author = {José Martín Castro-Manzano and Verónica Reyes-Meza and Jorge Medina-Delgadillo},
  journal= {arXiv preprint arXiv:1507.03664},
  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

{dasasap}, an App for Syllogisms

Abstract

Cite

Comments

Related papers