Sobre lógicas multivaluadas

Referencias

[1] BLOK, W.; PIGOZZI, D., Algebraizable Logics. Memoirs of the American Mathematical Society 396. AMS, Providence (Rhode Island), 1989. [2] BURRIS S.; SANKAPPANAVAR, H., A Course in Universal Algebra. Graduate Texts in Mathematics 78. Springer-Verlag, New York, 1981. Disponible en varios sitios de Internet: http://www.thoralf.uwaterloo.ca/htdocs/ualg.html http://www.math.sc.edu/∼mcnulty/alglatvar/burrissanka.pdf [3] CAICEDO, X., Elementos de Lógica y Calculabilidad. Una Empresa Docente, Bogotá, 1990. [4] CAICEDO, X., Lógica de los haces de estructuras. Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales XIX (1995) 569–585. [5] CIGNOLI R.; D’OTTAVIANO, M.; MUNDICI, D., ´ Algebras das Lógicas de Lukasiewicz. Colecao CLE 12. Centro de Lógica, Epistemología e Historia da Ciencia, UNICAMP, Campinas, 1994. [6] CIGNOLI R., Verdad y consecuencia en el segmento real: una formalización de la lógica borrosa. Anales de la Academia Nacional de Ciencias Exactas, Físicas y Naturales 52 (2000) 9–23. [7] DOU, A., Fundamentos de la Matemática. Labor, Barcelona, 1970. [8] EBBINGHAUS, H.; FLUM. J.; THOMASW., Mathematical Logic (Second Edition). Undergraduate Texts in Mathematics. Springer-Verlag, New York, 1994. [9] GOLDBLATT, R., Topoi: The Categorial Analysis of Logic. North-Holland, Amsterdam, 1979. [10] JOHNSTONE P., Notes on Logic and Set Theory. Cambridge University Press, Cambridge, 1987. [11] MAC, S.; MOERDIJK, I., Sheaves in Geometry and Logic. Springer-Verlag, New York, 1992. [12] OOSTRA, A., Conectivos en Topos. Tesis de Maestría. Universidad Nacional de Colombia, Bogotá, 1997. [13] OOSTRA, A., ´ Algebras de Heyting. XIV Coloquio Distrital de Matemáticas y Estadística. Universidad Pedagógica Nacional, Bogotá, 1997. [14] OOSTRA, A., Lógicas de Lukasiewicz y sus álgebras. Memorias del XV Encuentro de Geometría y sus Aplicaciones y III Encuentro de Aritmética. Universidad Pedagógica Nacional, Bogotá, 2004. [15] PEREZ, J., Fundamentos de la Lógica Matemática. Universidad Nacional de Colombia, Bogotá, 1982.