2005. Diagramas beta de Peirce (Montserrat Vicente) Razonamiento con gráficos existenciales.. Aplicación realizada en Java
2005. DiagVenn1.0 (Eduardo Galán) Calculo de diagramas para lógica de predicados monarios. Aplicación informática realizada en Java. Traduce enunciados de teoría de conjuntos a lógica de primer orden, ayuda a representarlos en diagramas de Venn y resuelve diagramáticamente argumentos sencillos.
Muy intuitiva y fácil de usar
2005. MAFIA: Resolución de tableaux semánticos (Elena Jorge Rico) Construye tableaux proposicionales, permite crear problemas y resuelve los de MAFIA. Aplicación informática realizada en Java. Es una herramienta didáctica muy sencilla de usar y los problemas de MAFIA son divertidísimos.
2005. Modelos de Kripke (Ana de la Viuda) Evalúa fórmulas modales en modelos de Kripke definidos por el usuario y verifica las propiedades de la relación de accesibilidad. Genera modelos a la carta.. Aplicación informática realizada en Java que permite visualizar la relación entre las propiedades de la relación de accesibilidad y las fórmulas válidas en el modelo. Se puede encontrar una pequeña explicación en esta Biblioteca en el apartado de Comentario de Software.
Diagramas de Peirce (Ignacio García Paredes) Este software permite la realización de un sistema para la representación de los Gráficos Existenciales Alfa.. Este proyecto también permite al usuario desarrollar el cálculo proposicional clásico mediante estos gráficos así como llegar a conocer el sistema de gráficos peirceanos.
Diagramas de Venn (M. Luisa Martín Martín) Permite el razonamiento lógico con Diagramas de Venn. Es una herramienta interactiva que permita plantear y resolver argumentos en lógica de predicados monarios. La herramienta tendrá que tener una interfaz agradable, fácil de usar e intuitiva. El procedimiento es refutativo.
Dinamul (María Iglesias) Dinamul es un traductor de lógicas que realiza la traducción de la lógica dinámica a la lógica multivariada.
El detective Uielss (Nuria Iglesias Malmierca) Aplicación educativa para el aprendizaje de técnicas criptográficas básicas.. El objetivo final del sistema es crear una aplicación multimedia amigable, capaz de captar la atención del usuario y fácil de utilizar para el aprendizaje de técnicas de criptografía básicas.
El idioma de los espías (Carlos Zapatel Vidorreta) Trata de enseñar a los niños de forma entretenida y muy visual unas nociones básicas sobre la criptografía (la ciencia de la escritura secreta)..
MSL2FOL: Traductor de lógica heterogenea (José Escuadra Burrieza) El programa MSL2FOL es un traductor de lógica multivariada (MSL) a lógica de primer orden (FOL)..
Tom (Tomás Rodríguez) Crea modelos de Kripke elementales. Verifica propiedades de la relación de accesibilidad y evalúa algunos axiomas modales básicos.. Herramienta sencilla, muy visual y práctica http://aracne.usal.es
Traductor de lógicas (I. Marcos) Traductor de lógica modal a lógica multivariada. Es una herramienta de trabajo que proporcione un simulador gráfico de un traductor de lógicas, en concreto, un traductor que nos permita transformar una fórmula expresada en una lógica modal a una fórmula con el mismo significado pero expresada en la lógica multivariada.