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 de Josep María Font Llovet Se estudian tres sistemas de logica modal intuicionista y sus modelos algebraicos con […]
Tesis doctoral de Sarabia Alvarez Hude E. Jaime En la tesis se desarrollan temas formales sobre la logica l3 se
Tesis doctoral de Izquierdo Arroyo José M. Se presenta en sus bases textuales e historicas la logica proposicional teorizada en
Tesis doctoral de Rodriguez Salas Antonio Jesús Tras una breve presentacion de las algebras de sales asociadas a la parte
Tesis doctoral de Jose Ramirez Labrador Esta dedicado a introducir los ultraproductos en espacios normados sobre cuerpos no arquimedianos no
Tesis doctoral de Fernando Orejas Valdés Presentacion de un nuevo metodo para la especificacion de tipos estructurados de datos basado
Tesis doctoral de Antonio Torrens Torrell Se obtienen y estudian las algebras d-completas como las algebras implicativas asociadas a ciertos
Tesis doctoral de Lorente Tallada Juan Manuel El trabajo consiste en la presentacion de un calculo que aritmetiza el metodo
Tesis doctoral de Pineda Perez Miguel Angel Datos académicos de la tesis doctoral «Teoria de modelos en la fonología
Tesis doctoral de Mario Rodríguez Artalejo Se parte de trabajos de j. Hintikka wischonfeld y t. wolf sobre la forma