Open AccessRAZONANDO CON COLORES (Una aproximación a la lógica intuicionista)
Author(s) -
Jorge Páez O,
Carlos Luque A.,
Alberto Donado N.
Publication year - 1999
Publication title -
tecné episteme y didaxis ted
Language(s) - English
Resource type - Journals
eISSN - 2323-0126
pISSN - 0121-3814
DOI - 10.17227/ted.num5-5682
Subject(s) - intuitionism , mathematics , computer science , artificial intelligence , philosophy , humanities , combinatorics , epistemology
We present an intuitive approach to Intuitionist logic based on the notion of n-paintingswhich generalizes the notion of sets; using several tonalities of a color, we constructoperations between n-paintings that can be interpreted in terms of propositions andlogical reasoning based on Heyting algebras.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom