Ir al contenido

Documat


Sobre lógicas multivaluadas

  • Autores: Arnold Oostra
  • Localización: Integración: Temas de matemáticas, ISSN 0120-419X, Vol. 22, Nº. 1-2, 2004, págs. 7-21
  • Idioma: español
  • Enlaces
  • 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. 

  • Referencias bibliográficas
    • Citas [1]Willem J. BlokandDon Pigozzi.Algebraizable Logics. Memoirs of the Ame-rican Mathematical Society 396. AMS, Providence (Rhode Island),...
    • [2]Stanley BurrisandHantamantagouda P. Sankappanavar.A Course inUniversal Algebra. Graduate Texts in Mathematics 78. Springer-Verlag, NewYork,...
    • [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),...
    • [5]Roberto Cignoli, Itala M. L. D’OttavianoeDaniele Mundici,Álgebrasdas Lógicas de Łukasiewicz. Coleção CLE 12. Centro de Lógica, Epistemologia...
    • [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...
    • [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,...
    • [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,...
    • [15]Jesús Hernando Pérez.Fundamentos de la Lógica Matemática. UniversidadNacional de Colombia, Bogotá, 1982.

Fundación Dialnet

Mi Documat

Opciones de artículo

Opciones de compartir

Opciones de entorno