Revista Integración, temas de matemáticas.
Vol. 22 Núm. 1 y 2 (2004): Revista Integración, temas de matemáticas
Artículos científicos

Sobre lógicas multivaluadas

Arnold Oostra
Editor
Biografía

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.