Inferencia visual para la lógica de la vaguedad LBPcoC
Tipo de documento
Autores
Lista de autores
Sierra, Manuel
Resumen
El operador “negación clásica”, simbolizado “∼”, está caracterizado desde el punto de vista semántico por la siguiente equivalencia: A es aceptado ⇔∼ A no es aceptado. Esta equivalencia dice que un enunciado es aceptado si y solamente si su negación no es aceptada.
Fecha
2002
Tipo de fecha
Estado publicación
Términos clave
Enfoque
Nivel educativo
Educación media, bachillerato, secundaria superior (16 a 18 años) | Educación superior, formación de pregrado, formación de grado
Idioma
Revisado por pares
Formato del archivo
Editores (capítulo)
Lista de editores (capitulo)
Luque, Carlos Julio
Título del libro
Memorias XIII Encuentro de Geometría y I de Aritmética
Editorial (capítulo)
Lugar (capítulo)
Rango páginas (capítulo)
389-426
Referencias
[Arruda 80] Arruda, Aida. A survey of paraconsistent logic. In: A. I. Arruda, R. Chuaqui, and N. C. A. da Costa, editors, Mathematical Logic in Latin America: Proce-edings of the IV Latin American Symposium on Mathematical Logic, Chile, 1978. Amsterdam: North-Holland, 1980. [Batens 00] Batens, Diderik. A survey of inconsistency-adaptive logics. In: D. Batens, C. Mortensen, G. Priest, and J.-P. van Bendegem, editors, Frontiers in Paraconsistent Logic: Proceedings of the I World Congress on Paraconsistency, Ghent, 1998. Baldock: Research Studies Press, King’s College Publications, 2000. [Bobenrieth 96] Bobenrieth Miserda. Inconsistencias ¿Por qu´e no? Un estudio filos´ofico sobre la l´ogica paraconsistente. Santaf´e de Bogot´a: Tercer Mundo, 1996. [Bunder 84] Bunder, M. Some definitions of negation leading to paraconsistent logics. Studia Logica, 43(1/2), 1984. [Carnielli 00] Carnielli, Walter. Possible-translations semantics for paraconsistent logics. In: D. Batens, C. Mortensen, G. Priest, and J.-P. van Bendegem, editors, Frontiers in Paraconsistent Logic: Proceedings of the I World Congress on Paraconsistency, Ghent, 1998. Baldock: Research Studies Press, King’s College Publications, 2000. [Carnielli Marcos Amo 00] Carnielli, W., Marcos, J. y de Amo, S. Formal inconsistency and evolutionary databases. To appear in : Logic and Logical Philosophy, (Proceedings of the Jaskowski’s Memorial Symposium), 1999/2000. [Da Costa 93] Da Costa, Newton. Inconsistent Formal Systems. Thesis, UFPR, Brazil, 1963. Curitiba: Editora UFPR, 1993. [Priest 87] Priest, G. In Contradiction. A Study of the Transconsistent. Dordrecht : Nijhoff, 1987. [Priest Routley 89] and J. Norman (editors). Priest, G. y Routley. Paraconsistent Logic: essays on the inconsistent. Munich: Philosophia Verlag, 1989. [Sierra 01a] Sierra, Manuel. ´Arboles de Forzamiento Sem´antico. Revista Universidad EA-FIT No 123, Medell´ın, 2001. [Sierra 01b] Sierra, Manuel. Lógica Básica Paraconsistente Clásica. Memorias del VIII Encuentro de la Escuela Regional de Matem ´aticas, Pasto, 2001. [Sierra 02] Sierra, Manuel. Lógica Básica Paraconsistente y Paracompleta con Negaci´on Cl´asica. Revista Universidad EAFIT No 126. Medellín, 2002.
Proyectos
Cantidad de páginas
510