Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

:: Biblioteca :: Aplicaciones :: Argumentación

  • * Begoña Carrascal (28-09-2005) Esquemas argumentativos ...mas detalles
        Conferencia , formato pdf

  • * Begoña Carrascal (30-09-2005) Teorías de la argumentación ...mas detalles
        Conferencia , formato pdf

  • * Leire Urbieta (28-09-2005) ¿Es posible una teoría común y completa de las falacias argumentativas? ...mas detalles
        Conferencia , formato ppt

  • * Luis Vega, coordinador (30-09-2005) SIMPOSIO Argumentación: el estado del arte ...mas detalles
        Conferencia , formato pdf

  • * Manzano, M. Moreno, M. (15-01-2010) Argumentos ontológicos ...mas detalles
        Documento , formato pdf

  • * Miguel Mori (28-09-2005) Argumentación, actitud epistemológica, y pensamiento crítico en la educación ...mas detalles
        Conferencia , formato pdf

  • * Paula Olmos (12-10-2005) Argumentación tópica y ars inveniendi en la lógica humanisra ...mas detalles
        Conferencia , formato doc

:: Biblioteca :: Aplicaciones :: Comentario Software

  • * Almudena Vicente (09-02-2007) Comentario a "Tableau III" de Nik Roberts ...mas detalles
        Documento , formato pdf

  • * Alvaro Felix Garcia (01-02-2007) Comentario a "LoTREC: an enviroment for experiencing Kripke semantics" de L. Fariñas y otros ...mas detalles
        Documento , formato pdf

  • * Ana de la Viuda (08-02-2007) Comentario a "Modelos de Kripke" de Ana de la Viuda ...mas detalles
        Documento , formato pdf

  • * Carlos de Tapia (06-02-2007) Comentario a "Traductor de lógica multivariada a lógica de primer orden" de José Escuadra Burrieza ...mas detalles
        Documento , formato pdf

  • * Carlos Muñoz Martín (06-02-2007) Comentario a "Pandora" de K. Broda y otros ...mas detalles
        Documento , formato pdf

  • * Elena Jorge (01-02-2007) MAFIA: Resolución de Tableaux Semánticos ...mas detalles
        Documento , formato doc

  • * Gonzalo Gascón (01-02-2007) Comentario a "Diagramas Alfa de Peirce" de Ignacio Paredes ...mas detalles
        Documento , formato pdf

  • * Juan Angel Hernandez (01-02-2007) Comentario a "Diag Venn" de Eduardo Galán ...mas detalles
        Documento , formato pdf

  • * Raquel Sanchez (01-02-2007) Comentario a "Visual ITP" de Raquel Sanchez y "Web ITP" de Manuel Clavel ...mas detalles
        Documento , formato pdf

  • * Rubén de la Peña (01-02-2007) Comentario a "Easy Logic" de Fernando Soler y otros ...mas detalles
        Documento , formato pdf

  • * Rubén Montero (01-02-2007) Comentario a "Logic Animations" de Jan Jaspar ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Aplicaciones :: Filosofía de la Ciencia

  • * Andrés L. Jaume (17-05-2007) Glosario Elemental de Filosofía de la Ciencia ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Aplicaciones :: Gramáticas Categoriales

  • * Francisco José Salguero Lamillar (03-05-2005) "Montague Grammar, categories and types: a presentation of actual theories in semantics and discourse interpretation" ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Aplicaciones :: Inteligencia Artificial

  • * Rodolfo Fernández (15-01-1998) "Conocimiento tecnológico: el caso de la ingeniería del software" ...mas detalles
        Documento , formato pdf

  • * Rodolfo Fernández (12-01-1996) "Ténica de Inteligencia Artificial en Minería de Datos" ...mas detalles
        Documento , formato pdf

  • * Rodolfo Fernández González (19-04-2005) La "Galaxia Turing": un nuevo paradigma epistemológico ...mas detalles
        Documento , formato pdf

  • * Rodolfo Fernández González (03-05-2005) "La Tecnología de Resolución de Restricciones" ...mas detalles
        Documento , formato pdf

  • * Rodolfo Fernández González (19-04-2005) "Modelización Lógica de procesos de solución de problemas y sus aspectos computacionales" ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Aplicaciones :: Lógica e Informática

  • * Alberto Pastor (01-02-2007) Comentario a "De la Computabilidad a la Hipercomputación" de Enrique Alonso ...mas detalles
        Documento , formato pdf

  • * Enrique Alonso (31-10-2005) Cruce de Ideas ...mas detalles
        Conferencia , formato pdf

  • * Faustino Frechilla (01-02-2007) Comentario a "La Bella y la Bestia" de María Manzano ...mas detalles
        Documento , formato pdf

  • * Israel García Sánchez (01-02-2007) Comentario a "Lógicas para la red" de Antonia Huertas ...mas detalles
        Documento , formato pdf

  • * Javier Taravilla Herrera (23-09-2005) Lucha de clases en el escritorio: GUI vs CLI ...mas detalles
        Conferencia , formato doc

  • * María Manzano (03-05-2005) "La Bella y la Bestia (perdón, Lógica e Informática)" ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Aplicaciones :: Lógica y Ciencia

  • * Ángel Nepomuceno (26-09-2000) "Lógica, creación y justificación en matemáticas" ...mas detalles
        Documento , formato pdf

  • * Atocha Aliseda (15-10-2007) Lógica y Conocimiento ...mas detalles
        Conferencia , formato pdf

  • * Lydia Sánchez y Manuel Campos (03-05-2005) "Lógica y Ciencia" ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Ejercicios :: ACERTIJOS FANTÁSTICOS

  • * María Manzano (de Muriel Mandell) (01-05-2004) Bolsas de alimentos ...mas detalles
        Ejercicio , formato pdf

  • * María Manzano (de Muriel Mandell) (01-05-2004) La bravata del ogro ...mas detalles
        Ejercicio , formato pdf

  • * María Manzano (de Sándor Márai) (02-03-2004) El último encuentro ...mas detalles
        Ejercicio , formato pdf

:: Biblioteca :: Ejercicios :: Lógica Modal

  • * Alfonso Cubero, Juan Carlos Hernández, Juan Manuel Sánchez (13-02-2006) Modalidades de KD4! ...mas detalles
        Ejercicio , formato pdf

  • * Alfredo José Villarino y María Manzano (04-05-2004) Modalidades de KB4 ...mas detalles
        Ejercicio , formato pdf

  • * Javier Nieto (13-02-2006) Modalidades de KD4U ...mas detalles
        Ejercicio , formato pdf

  • * María Manzano y José Carlos Blanco (01-06-2001) Cubo modal ...mas detalles
        Ejercicio , formato zip

  • * María Manzano y Laura Grande (31-05-2002) Modalidades de S4 ...mas detalles
        Ejercicio , formato pdf

:: Biblioteca :: Ejercicios :: MAFIA

  • * Alfredo José Villarino (30-05-2004) El cocinero del Padrio III ...mas detalles
        Ejercicio , formato pdf

  • * Anónimo (01-01-2004) Long Island ...mas detalles
        Ejercicio , formato pdf

  • * Juan Francisco de Paz (30-05-2004) ¿Quién se llevó el coche del Padrino? ...mas detalles
        Ejercicio , formato pdf

  • * Patricia Martín (01-06-2005) Vialia ...mas detalles
        Ejercicio , formato pdf

  • * Sergio Garrido (30-05-2004) El cocinero del Padrino I ...mas detalles
        Ejercicio , formato pdf

:: Biblioteca :: Ejercicios :: RAZONAMIENTOS

  • * María Manzano, Ángel L. Sánchez y Fernando Bohórquez (31-05-1999) Péndulo de Foucault ...mas detalles
        Ejercicio , formato pdf

:: Biblioteca :: Ejercicios :: SILOGÍSTICA AVENTURERA

  • * Juan Manuel Rodriguez (30-05-2004) Silogística aventurera ...mas detalles
        Ejercicio , formato pdf

:: Biblioteca :: Estudios de la Lógica

  • * Enrique Alonso, coordinador (30-09-2005) Decisiones ante el futuro de la red ...mas detalles
        Conferencia , formato pdf

  • * Javier Taravilla Herrera (12-05-2005) Turing y Searle: la sordera de los funcionalismos ...mas detalles
        Conferencia , formato doc

  • * María Manzano, coordinadora (04-11-2004) Actas del Simposio C@lculus ...mas detalles
        Libro , formato pdf , Summa Logicae XXI

  • * Moretti y Manzano, coordinadores (30-09-2005) II Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología ...mas detalles
        Conferencia , formato pdf

:: Biblioteca :: Estudios de la Lógica :: Bibliografía

  • * Luis Vega Reñón (01-01-2002) "ADDENDA a "Una guía de Historia de la Lógica" " ...mas detalles
        Documento , formato pdf

  • * Luis Vega Reñón (01-01-2002) "Argumentación. Indicaciones Bibliográficas" ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Estudios de la Lógica :: Filosofía de la Lógica

  • * Atocha Aliseda y Angel Nepomuceno, eds (15-09-2005) Representación y logicidad ...mas detalles
        Libro , formato pdf , Summa Logicae XXI

  • * Gladys Palau (19-04-2005) "La noción abstracta de consecuencia lógica" ...mas detalles
        Documento , formato pdf

  • * María Manzano (15-01-2006) EL DEBATE ...mas detalles
        Documento , formato pdf

  • * María Manzano (15-01-2007) La piedra filosofal ...mas detalles
        Documento , formato pdf

  • * María Manzano (10-05-2005) Lógica, lógicas y logicidad ...mas detalles
        Libro , formato pdf , Summa Logicae

  • * María Manzano (15-01-2006) Recapitulemos: Lógica, Lógicas y Logicidad ...mas detalles
        Documento , formato pdf

  • * María Manzano (01-09-2005) ¿Qué es esa cosa llamada lógica? ...mas detalles
        Documento , formato pdf

  • * Raymundo Morado (15-06-2005) Comentarios a "De dónde sale la lógica?" de Lucila González Pazos ...mas detalles
        Conferencia , formato html

:: Biblioteca :: Estudios de la Lógica :: Historia de la Lógica

  • * Angel Nepomuceno Fernández (03-05-2002) "Una reconstrucción formal del sistema de Begriffschrift" ...mas detalles
        Documento , formato pdf

  • * Enrique Alonso y María manzano (11-03-2005) Diagonalisation and Church´s thesis: Kleene´s Homework ...mas detalles
        Documento , formato pdf

  • * Francisco José Salguero Lamillar (03-05-2005) "Breve reseña histórica acerca de la lógica modal, desde Aristóteles hasta la semántica de mundos posibles" ...mas detalles
        Documento , formato pdf

  • * Luis Vega Reñón (25-09-2004) "La lógica del siglo XX en España" ...mas detalles
        Documento , formato pdf

  • * Maria Manzano (03-05-2005) "AlonzoChurch: His Life, His Work and some of His Miracles" ...mas detalles
        Documento , formato pdf

  • * María Manzano and Enrique Alonso (16-03-2007) In memoriam: Leon Henkin ...mas detalles
        Documento , formato pdf

  • * María Manzano y Enrique Alonso (04-02-2007) León Henkin ...mas detalles
        Documento , formato pdf

  • * Natalia Luna (04-02-2009) Ontología y Lógica en la Summa Logica de Ockham ...mas detalles
        Libro , formato pdf

:: Biblioteca :: Estudios de la Lógica :: Pedagogía de la Lógica

  • * Ángel Nepomuceno (26-09-2002) "Enseñar lógica: Lenguaje lógico y árboles semánticos" ...mas detalles
        Documento , formato pdf

  • * José Alfredo Amor (19-04-2005) "La Enseñanza del Análisis Lógico" ...mas detalles
        Documento , formato pdf

  • * María Manzano (12-10-2004) Contribución al VII Encuentro de Didáctica de la Lógica. Uruapan. México. Nov. 2004. ...mas detalles
        Conferencia , formato pdf

  • * Maria Manzano (coordinadora) (01-06-2000) Proceedings of the First International Congress on Tools for Teaching Logic (Vol. I) ...mas detalles
        Libro , formato pdf , Summa Logicae XXI

  • * Maria Manzano (coordinadora) (01-06-2000) Proceedings of the First International Congress on Tools for Teaching Logic (Vol. II) ...mas detalles
        Libro , formato pdf , Summa Logicae XXI

  • * MaríaManzano, Belén Pérez Lancho y Ana Gil (eds) (01-09-2006) Proceedings of the Second International Congress on Tools for Teaching Logic ...mas detalles
        Libro , formato pdf , Summa Logicae

:: Biblioteca :: Estudios de la Lógica :: Perspectivas

  • * María del Carmen Santos (01-02-2007) Comentario a "Adiós a la Soledad..." de Johan van Benthem ...mas detalles
        Documento , formato doc

  • * María Manzano (01-07-2006) Razonamiento Formal ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Fundamentos :: Teoría de Modelos

  • * María Manzano (04-02-2004) Teoría de Modelos ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Fundamentos :: Lógica Básica

  • * Ángel Nepomuceno (30-10-2002) "Tablas semánticas para lógica de predicados de primer orden" ...mas detalles
        Documento , formato pdf

  • * Ángel Nepomuceno Fernández (03-05-2005) "Aplicación de tablas semánticas al estudio de algunas lógicas no clásicas" ...mas detalles
        Documento , formato pdf

  • * Carlos E. Alchourrón (19-04-2005) "Un sistema logístico para la lógica proposicional. Consistencia y completitud" ...mas detalles
        Documento , formato pdf

  • * Ian Hodkinson, Antonia Huertas y María Manzano (03-05-2005) Apuntes de Lógica ...mas detalles
        Libro , formato pdf , Summa Logicae USAL

  • * María Manzano (15-01-2012) Logic and Fiction ...mas detalles
        Documento , formato pdf

  • * María Manzano (15-01-2005) Lógica Básica Proposicional ...mas detalles
        Documento , formato pdf

  • * María Manzano y Antonia Huertas (15-01-2005) Correcciones del libro "Lógica para principiantes" ...mas detalles
        Documento , formato zip

:: Biblioteca :: Fundamentos :: Teoría de Conjuntos

  • * Antonia Huertas y María Manzano (19-04-2005) El Universo matemático ...mas detalles
        Libro , formato pdf , Summa Logicae

  • * María Manzano (26-01-2004) Teoría de la conjuntos ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Fundamentos :: Teoría de la Computación

  • * Enrique Alonso (15-09-2002) Lógica y computabilidad ...mas detalles
        Libro , formato pdf , Summa Logicae

  • * Enrique Alonso (10-11-2004) "Perspectivas teóricas en Inteligencia Artificial (un creciente sentimiento de desánimo). ...mas detalles
        Conferencia , formato ppt

  • * María Manzano (08-02-2005) Teoría de la computabilidad ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Fundamentos :: Teoría de la Demostración

  • * Huberto Marraud (25-05-1999) Introducción a la teoría de los sistemas deductivos ...mas detalles
        Libro , formato pdf , Summa Logicae XXI

  • * María Manzano (07-02-2005) Teoría de la demostración ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Sistemas Lógicos

  • * Antonia Huertas (03-01-2006) Lógicas descriptivas: lógicas para la red ...mas detalles
        Documento , formato pdf

  • * Antonia Huertas (14-11-2005) Quantfied Hybrid Logic with Non-constant Domains ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Sistemas Lógicos :: Lógica abductiva

  • * Fernando Soler (14-10-2005) Modelos formales de explicación en Lógica e Inteligencia Artificial ...mas detalles
        Conferencia , formato pdf

  • * Fernando Soler (30-09-2005) Modelos Formales de Explicación en Lógica e Inteligencia Artificial ...mas detalles
        Libro , formato pdf , Summa Logicae XXI

:: Biblioteca :: Sistemas Lógicos :: Lógica con Diagramas

  • * Lucila González Pazos (20-02-2004) "Y en un principio era... la lógica espacial" ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Sistemas Lógicos :: Lógica de clausulas de Horn

  • * María Manzano (14-02-2005) Lógica de claúsulas de Horn ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Sistemas Lógicos :: Lógica de las normas

  • * Adrián Fernández Martín (12-11-2012) Método de deducción natural para la lógica de las proposiciones normativas. ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Sistemas Lógicos :: Lógica de Orden Superior

  • * Ángel Nepomuceno (05-04-2002) "Interpretación estándar y no estándar de sistemas logicistas" ...mas detalles
        Documento , formato pdf

  • * César Barrado (06-02-2007) Comentario a "Lógica de orden superior" de María Manzano ...mas detalles
        Documento , formato pdf

  • * María Manzano (15-01-2005) Lógica de orden superior ...mas detalles
        Documento , formato pdf

  • * María Manzano (15-01-2005) Lógica de segundo orden ...mas detalles
        Documento , formato pdf

  • * María manzano (05-11-2002) Teoría de Tipos ...mas detalles
        Documento , formato pdf

  • * María Manzano y Antonia Huertas (03-05-2005) Reader: Extensions of First Order Logic ...mas detalles
        Libro , formato pdf , Summa Logicae USAL

:: Biblioteca :: Sistemas Lógicos :: Lógica Deóntica

  • * Carlos A. Oller (19-04-2005) "Una Introducción Filosófica a la Lógica Deóntica" ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Sistemas Lógicos :: Lógica dinámica

  • * María Manzano (08-10-2004) Lógica dinámica ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Sistemas Lógicos :: Lógica Heterogénea y Parcial

  • * Aníbal Chehayeb (01-02-2007) Una introducción a la lógica lineal y comentario al software "llprover" de Naoyuki Tamura ...mas detalles
        Documento , formato pdf

  • * Antonia Huertas (01-10-2004) Partial heterogeneous logic for modal logic ...mas detalles
        Documento , formato pdf

  • * Antonia Huertas y María Manzano (19-04-2005) "A Partial and Heterogeneous Mirror for Modality" ...mas detalles
        Documento , formato pdf

  • * María Manzano y Antonia Huertas (15-01-2005) Lógica multivariada y parcial ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Sistemas Lógicos :: Lógica Híbrida

  • * Antonia Huertas (27-06-2005) Hybrid logics and the semantic paradigm ...mas detalles
        Documento , formato pdf

  • * Areces, C. Blackburn, P. Huertas, A. Manzano, M. (21-02-2013) Completeness in Hybrid Type Theory ...mas detalles
        Documento , formato pdf

  • * Carlos Areces (01-01-2005) Avances en lógica modal: Introducción a las lógicas híbridas ...mas detalles
        Conferencia , formato pdf

  • * Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano (18-05-2012) Hybrid Type Theory, a Quartet in four Movements ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Sistemas Lógicos :: Lógica híbrida

  • * María Manzano, Manuel A. Martins and Antonia Huertas (18-05-2012) Equational Hybrid Type Theory ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Sistemas Lógicos :: Lógica Intuicionista

  • * J. M. Méndez y F. Salto (03-05-2005) "Lógica Intuicionista en tres horas (y pico)" ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Sistemas Lógicos :: Lógica Modal

  • * Carlos Areces (01-01-2005) Lógica modal computacional ...mas detalles
        Conferencia , formato pdf

  • * Carlos Areces (10-06-2005) Mundos posibles ...mas detalles
        Conferencia , formato pdf

  • * Francisco José Salguero Lamillar (01-05-1991) Árboles semánticos para lógica modal con algunos resultados sobre sistemas normales ...mas detalles
        Libro , formato pdf , Summa Logicae

  • * María Carmen Montejo (01-02-2007) Comentario a "Elija su propia Lógica" de Carlos Areces ...mas detalles
        Documento , formato pdf

  • * María Manzano (15-01-2006) Lógica modal ...mas detalles
        Documento , formato pdf

  • * María Manzano (10-03-2005) Lógicas modales hoy ...mas detalles
        Conferencia , formato pdf

:: Biblioteca :: Sistemas Lógicos :: Lógica multivariada

  • * María Manzano (15-01-2005) La lógica multivariada es unificadora ...mas detalles
        Documento , formato pdf

  • * María Manzano (14-02-2005) Lógica multivariada ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Sistemas Lógicos :: Lógica temporal

  • * Javier Pérez (09-02-2007) Comentario a "Temporal logic" de Antony Galton ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Sistemas Lógicos :: Lógicas generales

  • * María Manzano (15-01-2006) Lógicas generales ...mas detalles
        Documento , formato pdf

:: Biblioteca :: Sistemas Lógicos :: Sistemas deductivos etiquetados

  • * María Manzano (15-01-2006) Sistemas deductivos etiquetados ...mas detalles
        Documento , formato pdf

Fin de los resultados.

     << Atras