:: :: tesis y proyectos :: ::
 
Tesis Doctorales dirigidas

Título: Functional Definability Issues in Logics Based on Triangular Norms
Doctorando:
Enrico Marchioni
Universidad: Universidad deSalamanca
Facultad / Escuela: Filosofía
Fecha: Octubre 2006

Título: Modal Logic (of Predicates) and (Partial and Heterogeneous) Non-Classical Logic
Doctorando: María Antonia Huertas Sánchez
Universidad: Universidad de Barcelona
Facultad / Escuela: Matemáticas
Fecha: 28 de noviembre de 1994

Tesis de Máster dirigidas

Título: Local Logics for Distributed Systems
Doctorando:
Julio Ostalé García
Universidad: Universidad de Salamanca
Facultad / Escuela: Filosofía
Fecha: Diciembre 2006

Título: Conditional Measures of Uncertainty Framed in Fuzzy Logics
Doctorando: Enrico Marchioni
Universidad: Universidad de Salamanca
Facultad / Escuela: Filosofía
Fecha: Septiembre 2005

Proyectos de fin de carrera
(alumnos de Ingeniería Técnica en Informática)

Título: Logictest
Alumno: Sonia
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Septiembre 2006

Título: Azafea
Alumno: Silvia Nieto
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Junio 2006

Título: Modelos de Kripke.
Véase software
Alumno: Ana de la Viuda
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Septiembre 2005

Título: Diagramas Beta de Peirce
Alumno: Montserrat Vicente
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Septiembre 2005

Título: Visual ITP
Alumno: Raquel Sánchez
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Septiembre 2005

Título: MAFIA: Resolución de tableaux semánticos.
Véase software
Alumna: Elena Jorge Rico
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Julio 2005

Título: DiagVenn.
Véase software
Alumno: Eduardo Galán
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Julio 2005

Título: Diagramas ALFA de Peirce.
Véase software
Alumno: Ignacio García Paredes
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Septiembre 2001

Título: El detective UIELSS
Alumno: Nuria Iglesias Marmierca
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Septiembre 2001

Título: Biblioteca digital: Summa Logicae en el siglo XXI
Alumno: Iván Marcos Poza
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Julio 2001

Título: TELOMA (Test de Lógica y Matemáticas)
Alumno: Carlos Rodríguez
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Julio 2001

Título: Traductor de Lógica (Modal de primer orden a heterogénea y parcial)
Alumno: Raquel Caño Mateos
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Septiembre 2001
-
Título: Curso Virtual: De Pura Lógica
Alumno: Alberto Pérez Rodríguez
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Julio 2001

Título: Razonamiento lógico con diagramas de VENN
Alumno: María Luisa Martín Martín
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Julio 2001

Título: El idioma de los espías
Alumno: Carlos Zapatel
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Julio 2000

Título: Traductor de Lógicas: dinámica a multivariada..
Alumno: María Iglesias
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Febrero 2000

-
Título: Tutor inteligente de Lógica. (Tableaux semánticos)
Alumno: Jose Carlos Blanco García
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Septiembre 1999

Título: Traductor de Lógicas : modal a multivariada.
Alumno: Iván Marcos Poza
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Marzo 1999.

Título: TOOLS FOR TEACHING (I).
Alumno: Rubén Simón Conde.
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Marzo 1999

Título: CALCULUS RATIOCINATOR (I) (Demostrador de teoremas)
Alumno: Jorge Hernández.
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Marzo 1999

Título: Los Enigmas de Ulises
Alumno: Aitor Mata Conde
Universidad: Universidad de Salamanca
Facultad / Escuela: Ciencias. Título: Ingeniero en Informática
Fecha: Septiembre 1998