Un estudio algebraico de las lógicas temporales

  1. García Olmedo, Francisco Miguel
unter der Leitung von:
  1. Antonio Jesús Rodríguez Salas Doktorvater

Universität der Verteidigung: Universidad de Granada

Jahr der Verteidigung: 1994

Gericht:
  1. José Luis Vicente Córdoba Präsident/in
  2. José Luis Bueso Montero Sekretär
  3. José María Barja Pérez Vocal
  4. Antonio Martínez Cegarra Vocal
  5. Josep Pla i Carrera Vocal
Fachbereiche:
  1. ÁLGEBRA

Art: Dissertation

Teseo: 42402 DIALNET

Zusammenfassung

EN LA MEMORIA SE EFECTUA UN ESTUDIO DE LAS ALGEBRAS TEMPORALES, EN EL MISMO SE CONCRETAN DIVERSOS RESULTADOS SOBRE LA ARITMETICA DE LAS OPERACIONES TEMPORALES Y PROPIEDADES DE LAS CONGRUENCIAS. EL ESTUDIO DE LAS CONGRUENCIAS A SU VEZ, DEDICA UNA PARTE A LAS IRREDUCIBLES, COMPLETAMENTE IRREDUCIBLES Y MAXIMALES. SE DA IGUALMENTE UNA CARACTERIZACION DE LAS ALGEBRAS TEMPORALES SIMPLES Y UNA AMPLIA GAMA DE ALGEBRAS SEMISIMPLES. EL RESTO DEL TRABAJO SE DEDICA A DAR TEOREMAS DE ESTRUCTURA PARA ALGEBRAS TEMPORALES LIBRES Y EL ESTUDIO DE ALGUNAS SUBVARIEDADES. ENTRE OTRAS CONSECUENCIAS SE OBTIENE UN RECUENTO DE LOS ATOMOS DE ALGEBRAS TEMPORALES LIBRES CUANDO LOS HAY. FINALMENTE, SE HACE UN ESTUDIO COMPUTACIONAL DE LAS ALGEBRAS TEMPORALES FINITAS INCLUYENDO UNA IMPLEMENTACION EN LENGUAJE C.