CONECTIVOS INTUICIONISTAS SOBRE ESPACIOS TOPOLOGICOS
2024; Volume: 21; Issue: 81 Linguagem: Espanhol
10.18257/raccefyn.21(81).1997.3003
ISSN2382-4980
Autores Tópico(s)Urban Development and Societal Issues
ResumoEl clasificador de subobjetos de un topos constituye su "objeto de valores de verdad" y sus morfismos determinan los conectivos proposicionales de su lógica interna. Continuando trabajo anterior para modelos de Kripke, estudiamos dichos conectivos para la lógica de los haces sobre espacios topológicos, caso en el cual están totalmente determinados por ciertas operaciones en conjuntos abiertos. Los conectivos monádicos junto con los de Heyting forman una familia "funcionalmente" completa en cualquier topos espacial; en particular, un solo conectivo adicional genera los implícitos en la lógica trivalente de Heyting. Damos una axiomatización completa para la lógica intermedia modal que resulta en este último caso. Analizamos también los conectivos invariantes bajo homeomorfismos locales, y la escogencia global y uniforme de conectivos en distintos espacios. Los resultados principales se pueden generalizar inmediatamente a los topos de haces sobre álgebras de Heyting completas.
Referência(s)