Sobre dos logicas categoricas: logica lineal y algebra con tipos ordenados
Tesis doctoral de Narciso Marti Oliet La logica lineal ha sido desarrollada recientemente por girard como una logica de acciones […]
Tesis doctoral sobre Logica matemática
Accede a todas las tesis doctorales sobre Logica matemática mas relevantes.
Logicas finitamente deductivas: restricciones de cardinalidad en la propiedad de la deduccion.
Tesis doctoral de Garcia Lapresta José Luis Se han estudiado logicas abstractas que cumplen el teorema de deduccion con restricciones
El teorema de lowenheim en el marco de la teoria de relativos
Tesis doctoral de Calixto Badesa Cortes El proposito de esta tesis es analizar en detalle la prueba que hizo lowenheim
Consideraciones sobre la teoria de las instituciones de goguen y burstall, los functores parciales y la recursion generalizada heterogenea.
Tesis doctoral de Climent Vidal Juan Blas Datos académicos de la tesis doctoral «Consideraciones sobre la teoria de las
Subdirectes globals
Tesis doctoral de Francesc Tiñena Salvaña Datos académicos de la tesis doctoral «Subdirectes globals« Título de la tesis: Subdirectes
Contribuciones a la teoria abstracta de modelos.
Tesis doctoral de Enrique Casanovas Ruiz-fornells Datos académicos de la tesis doctoral «Contribuciones a la teoria abstracta de modelos.«
Un estudio algebraico de los calculos proposicionales de lukasiewicz.
Tesis doctoral de Rodriguez Salas Antonio Jesús Tras una breve presentacion de las algebras de sales asociadas a la parte
Estudi i algebraitzacio de certes logiques: algebres d-completes.
Tesis doctoral de Antonio Torrens Torrell Se obtienen y estudian las algebras d-completas como las algebras implicativas asociadas a ciertos
Definibilidad mediante r-tipos de n-isomorfia.
Tesis doctoral de Javier Leach Aldert Simplificacion y unificacion de la demostracion de los teoremas de definibilidad de beth suenonius
Variants of unification considering compression and context variables
Tesis doctoral de Adrián Gascón Caro Term unification is a basic operation in several areas of computer science, specially in