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

Autor:	N Alberto Donado, A Carlos Luque, Jorge Páez O
Rok vydání:	1999
Předmět:	Algebra Philosophy Intuitionistic logic
Zdroj:	TED: Tecné, Episteme y Didaxis.
ISSN:	2323-0126 0121-3814
DOI:	10.17227/ted.num5-5682
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::16a0211aac1446152f4f1b420a07a1da https://doi.org/10.17227/ted.num5-5682 Zobrazit plný text záznamu