Resumen

Los operadores morfológicos se generalizan a retículos como pares de adjunción (Serra, 1984; Ronse, 1990; Heijmans y Ronse, 1990; Heijmans, 1994). En particular, la morfología para retículos de conjuntos se aplica para analizar lógicas a través de la semántica de Kripke (Bloch, 2002; Fujio y Bloch, 2004; Fujio, 2006). Por ejemplo, un par de operadores morfológicos como adjunción da lugar a una temporalización de la lógica modal normal (Fujio y Bloch, 2004; Fujio, 2006). Además, las construcciones de modelos para la lógica intuicionista o las lógicas lineales pueden describirse en términos de operadores morfológicos de interior y/o cierre (Fujio y Bloch, 2004). Esto muestra que el análisis morfológico se puede aplicar a varias lógicas no clásicas. Por otro lado, las lógicas cuánticas se formaliz

• Materias:Teoremas de convergencia Ecuaciones no lineales Conexión canónica Subvariedades Transversales Automorfismos
• Subjects:Convergence Theorems Nonlinear equations Canonical connection Traversal subvarieties Automorphisms
• Palabras claves:Operadores morfológicos; Retículos; Semántica de Kripke; Lógicas; Lógicas cuánticas; Problema de implicación
• Keywords:Morphological operators; Lattices; Kripke semantics; Logics; Quantum logics; Implication problem