Tesis doctoral de Josep María Font Llovet
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.
Datos académicos de la tesis doctoral «Estudi algebraic de certes logiques intuicionistes modals.«
- Título de la tesis: Estudi algebraic de certes logiques intuicionistes modals.
- Autor: Josep María Font Llovet
- Universidad: Barcelona
- Fecha de lectura de la tesis: 01/01/1982
Dirección y tribunal
- Director de la tesis
- Sales Valles Francisco De Asis
- Tribunal
- Presidente del tribunal: Francisco Sales Valles
- Joaquin Cascante Davila (vocal)
- Rafael Mallol Balmanya (vocal)
- Pablo Bobillo Guerrero (vocal)