Maquinas de turing borrosas y modelos de w-calculabilidad.
Tesis doctoral de Buenaventura Clares Rodríguez Datos académicos de la tesis doctoral «Maquinas de turing borrosas y modelos de […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Modelos booleanos e independencia de la hipotesis del continuo.
Tesis doctoral de Ramon Jansana Ferrer En esta tesis se presentan fundamentalmente dos resultados nuevos en el contexto de la
Estructuras generales de segundo orden.
Tesis doctoral de Ignasi Jane Palau Se tratan diversos temas de logica de segundo orden todos ellos relacionados con el
Estudi algebraic de certes logiques intuicionistes modals.
Tesis doctoral de Josep María Font Llovet Se estudian tres sistemas de logica modal intuicionista y sus modelos algebraicos con
Extensiones del sistema l3 de logica trivalente.
Tesis doctoral de Sarabia Alvarez Hude E. Jaime En la tesis se desarrollan temas formales sobre la logica l3 se
Logica proposicional sumulista. bases historico-textuales.
Tesis doctoral de Izquierdo Arroyo José M. Se presenta en sus bases textuales e historicas la logica proposicional teorizada en
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
Sobre ultraproductos de espacios de banach en cuerpos no arquimedianos.
Tesis doctoral de Jose Ramirez Labrador Esta dedicado a introducir los ultraproductos en espacios normados sobre cuerpos no arquimedianos no
Una teoria de tipos estructurados de datos.
Tesis doctoral de Fernando Orejas Valdés Presentacion de un nuevo metodo para la especificacion de tipos estructurados de datos basado
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