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 […]
Tesis doctoral sobre Logica
Accede a todas las tesis doctorales sobre Logica mas relevantes.
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
Modelos de comunicacion cientifica (ciencia-ciencia ciencia-sociedad).
Tesis doctoral de Fernandez Del Moral Alfonso Javier Se proponen unos modelos dentro de la ciencia en general; de cada
El ser en las proposiciones segun santo tomas de aquino.
Tesis doctoral de Alterejos Masota Francisco Miguel Segun l. Wittgenstein y r. Carnap la metafisica clasica no distinguio claramente entre
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
Lenguaje apl e implicaciones en logica simbolica.
Tesis doctoral de Lorente Tallada Juan Manuel El trabajo consiste en la presentacion de un calculo que aritmetiza el metodo