Artículo Original
Publicado 2004-09-16
Palabras clave
- Lógica clásica,
- lógicas sin dualidad,
- lógicas multivaluadas,
- conjuntos difusos
Cómo citar
Oostra, A. (2004). Sobre lógicas multivaluadas. Revista Integración, Temas De matemáticas, 22(1 y 2), 7–21. Recuperado a partir de https://revistas.uis.edu.co/index.php/revistaintegracion/article/view/508
Resumen
En esta nota, aparte de introducciones muy generales a tres lógicas sin la dualidad verdadero/falso -la lógica intuicionista de Brouwer, las lógicas multivaluadas de Łukasiewicz y la lógica difusa de Zadeh- se presenta una formalización reciente de la lógica difusa.
Descargas
Los datos de descargas todavía no están disponibles.
Referencias
[1]Willem J. BlokandDon Pigozzi.Algebraizable Logics. Memoirs of the Ame-rican Mathematical Society 396. AMS, Providence (Rhode Island), 1989.
[2]Stanley BurrisandHantamantagouda P. Sankappanavar.A Course inUniversal Algebra. Graduate Texts in Mathematics 78. Springer-Verlag, NewYork, 1981. Disponible en varios sitios de Internet:http://www.thoralf.uwaterloo.ca/htdocs/ualg.htmlhttp://www.math.sc.edu/∼mcnulty/alglatvar/burrissanka.pdf
[3]Xavier Caicedo.Elementos de Lógica y Calculabilidad. Una Empresa Docente,Bogotá, 1990.
[4]Xavier Caicedo. “Lógica de los haces de estructuras”.Revista de la AcademiaColombiana de Ciencias Exactas, Físicas y Naturales,XIX(1995), 569–585.
[5]Roberto Cignoli, Itala M. L. D’OttavianoeDaniele Mundici,Álgebrasdas Lógicas de Łukasiewicz. Coleção CLE 12. Centro de Lógica, Epistemologia eHistória da Ciência, UNICAMP, Campinas, 1994.
[6]Roberto Cignoli. “Verdad y consecuencia en el segmento real: una forma-lización de la lógica borrosa”.Anales de la Academia Nacional de Ciencias Exac-tas, Físicas y Naturales, Argentina,52(2000), 9–23.
[7]Alberto Dou.Fundamentos de la Matemática. Labor, Barcelona, 1970.
[8]Heinz-Dieter Ebbinghaus, Jörg FlumandWolfgang Thomas.Mathematical Logic(Second Edition). Undergraduate Texts in Mathematics.Springer-Verlag, New York, 1994.
[9]Robert Goldblatt.Topoi: The Categorial Analysis of Logic. North-Holland,Amsterdam, 1979.
[10]Peter T. Johnstone.Notes on Logic and Set Theory. Cambridge UniversityPress, Cambridge, 1987.
[11]Saunders Mac LaneandIeke Moerdijk.Sheaves in Geometry and Logic.Springer-Verlag, New York, 1992.
[12]Arnold Oostra.Conectivos en Topos. Tesis de Maestría. Universidad Nacionalde Colombia, Bogotá, 1997.
[13]Arnold Oostra.Álgebras de Heyting. XIV Coloquio Distrital de Matemáticasy Estadística, Universidad Pedagógica Nacional, Bogotá, 1997.
[14]Arnold Oostra.Lógicas de Łukasiewicz y sus álgebras. Memorias del XV En-cuentro de Geometría y sus Aplicaciones y III Encuentro de Aritmética, Univer-sidad Pedagógica Nacional, Bogotá, 2004.
[15]Jesús Hernando Pérez.Fundamentos de la Lógica Matemática. UniversidadNacional de Colombia, Bogotá, 1982.
[2]Stanley BurrisandHantamantagouda P. Sankappanavar.A Course inUniversal Algebra. Graduate Texts in Mathematics 78. Springer-Verlag, NewYork, 1981. Disponible en varios sitios de Internet:http://www.thoralf.uwaterloo.ca/htdocs/ualg.htmlhttp://www.math.sc.edu/∼mcnulty/alglatvar/burrissanka.pdf
[3]Xavier Caicedo.Elementos de Lógica y Calculabilidad. Una Empresa Docente,Bogotá, 1990.
[4]Xavier Caicedo. “Lógica de los haces de estructuras”.Revista de la AcademiaColombiana de Ciencias Exactas, Físicas y Naturales,XIX(1995), 569–585.
[5]Roberto Cignoli, Itala M. L. D’OttavianoeDaniele Mundici,Álgebrasdas Lógicas de Łukasiewicz. Coleção CLE 12. Centro de Lógica, Epistemologia eHistória da Ciência, UNICAMP, Campinas, 1994.
[6]Roberto Cignoli. “Verdad y consecuencia en el segmento real: una forma-lización de la lógica borrosa”.Anales de la Academia Nacional de Ciencias Exac-tas, Físicas y Naturales, Argentina,52(2000), 9–23.
[7]Alberto Dou.Fundamentos de la Matemática. Labor, Barcelona, 1970.
[8]Heinz-Dieter Ebbinghaus, Jörg FlumandWolfgang Thomas.Mathematical Logic(Second Edition). Undergraduate Texts in Mathematics.Springer-Verlag, New York, 1994.
[9]Robert Goldblatt.Topoi: The Categorial Analysis of Logic. North-Holland,Amsterdam, 1979.
[10]Peter T. Johnstone.Notes on Logic and Set Theory. Cambridge UniversityPress, Cambridge, 1987.
[11]Saunders Mac LaneandIeke Moerdijk.Sheaves in Geometry and Logic.Springer-Verlag, New York, 1992.
[12]Arnold Oostra.Conectivos en Topos. Tesis de Maestría. Universidad Nacionalde Colombia, Bogotá, 1997.
[13]Arnold Oostra.Álgebras de Heyting. XIV Coloquio Distrital de Matemáticasy Estadística, Universidad Pedagógica Nacional, Bogotá, 1997.
[14]Arnold Oostra.Lógicas de Łukasiewicz y sus álgebras. Memorias del XV En-cuentro de Geometría y sus Aplicaciones y III Encuentro de Aritmética, Univer-sidad Pedagógica Nacional, Bogotá, 2004.
[15]Jesús Hernando Pérez.Fundamentos de la Lógica Matemática. UniversidadNacional de Colombia, Bogotá, 1982.