Estudi algebraic de certes logiques intuicionistes modals

• Autores: Josep Maria Font i Llobet
• Directores de la Tesis: Francesc d'Assís Sales Vallès (dir. tes.)
• Lectura: En la Universitat de Barcelona ( España ) en 1981
• Idioma: catalán
• Tribunal Calificador de la Tesis: Francesc d'Assís Sales Vallès (presid.), Nadal Batle Nicolau (secret.), Rafael Mallol Balmaña (voc.), Joaquín María Cascante Dávila (voc.), Pablo Bobillo Guerrero (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Lógica modal
  • Matemáticas
    • Álgebra
      • Retículos
• Enlaces
  • Tesis en acceso abierto en: TDX
• Resumen

  • SE ESTUDIAN TRES SISTEMAS DE LOGICA MODAL INTUICIONISTA Y SUS MODELOS ALGEBRAICOS CON LAS TECNICAS DE H, RASIOWA Y A. MONTEIRO Y SUS ESCUELAS. IM4 ES EL SISTEMA ANALOGO INTUICIONISTA DE S4 Y LE CORRESPONDEN LAS ALGEBRAS DE HEYTING (PSEUDO-BOOLEANAS) TOPOLOGICAS. ADEMAS DE CUESTIONES GENERALES SE ESTUDIAN LOS SISTEMAS DEDUCTIVOS Y LA LOGICA ABSTRACTA A QUE ESTOS DAN LUGAR QUE ES DE TIPO INTUICIONISTA. SE CARACTERIZAN DIVERSOS TIPOS DE SISTEMAS DEDUCTIVOS OTROS CONCEPTOS ALGEBRAICOS ASOCIADOS Y ESE MISMO CONCEPTO EN TERMINOS DE TRES NUEVAS OPERACIONES DE IMPLICACION; UNA DE ELLAS P=Q = L(P Q) PERMITE DAR FORMALIZACIONES ALGEBRAICAS Y LOGICAS PRESCINDIENDO TOTALMENTE DEL OPERADOR DE NECESIDAD. LOS SISTEMAS IM5 Y IMC SON ANALOGOS A S5 SIENDO IMC INTUICIONISTICAMENTE NO PLAUSIBLE SE ESTUDIA N SUS MODELOS LAS ALGEBRAS MONADICAS Y SEMISIMPLES DIVERSAS PROPIEDADES ALGEBRAICAS Y ESPECIALMENTE SUS POSIBLES DEFINICIONES BIEN ALGEBRAICAS BIEN USANDO CONDICIONES CLASICAS SOBRE UN OPERADOR DE CLAUSURA (POSIBILIDAD) DERIVADO DEL INTERIOR (NECESIDAD). SE DESARROLLAN CON DETALLE NUMEROSOS EJEMPLOS Y CONTRAEJEMPLOS.