RAZONANDO CON COLORES (Una aproximación a la lógica intuicionista)

  • Jorge Páez O
  • Carlos Luque A.
  • Alberto Donado N.
DOI: https://doi.org/10.17227/ted.num5-5682
Resumen Cómo citar Descargas

Resumen

We present an intuitive approach to Intuitionist logic based on the notion of n-paintings
which generalizes the notion of sets; using several tonalities of a color, we construct
operations between n-paintings that can be interpreted in terms of propositions and
logical reasoning based on Heyting algebras.

Cómo citar
Páez O, J., Luque A., C., & Donado N., A. (1999). RAZONANDO CON COLORES (Una aproximación a la lógica intuicionista). Tecné, Episteme Y Didaxis: TED, (5). https://doi.org/10.17227/ted.num5-5682

Descargas

Los datos de descargas todavía no están disponibles.
Publicado
1999-05-11
Número
Núm. 5 (1999)
Sección
Artículo de investigación en

Derechos de autor 2017 TED: Tecné, Episteme y Didaxis

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial 4.0.

Métricas PlumX

Artículos más leídos del mismo autor/a