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

Autores/as

  • Jorge Páez O
  • Carlos Luque A.
  • Alberto Donado N.

DOI:

https://doi.org/10.17227/ted.num5-5682

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.

Descargas

Los datos de descargas todavía no están disponibles.

Descargas

Publicado

1999-05-11

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

Número

Sección

Artículo de investigación en

Métricas PlumX

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