Model theory for valued and ordered fields and applications.
Tesis doctoral de Rafael Farre Cirera La tesis se divide en cinco capitulos mas uno de preliminares algebraicos. En el […]
Tesis doctoral sobre Logica
Accede a todas las tesis doctorales sobre Logica mas relevantes.
Ecgi: un algoritmo de inferencia gramatical mediante correccion de errores
Tesis doctoral de Hector Rulot Segovia En este trabajo se introduce un nuevo metodo de inferencia gramatical, el algoritmo ecgi
Representacion y gestion del conocimiento con cuantificacion intermedia.
Tesis doctoral de Amelia Bilbao Terol Esta tesis se basa en una linea de evolucion de la logica clasica hacia
Filosofia de la aritmetica en r. carnap.
Tesis doctoral de Antonio Caba Sanchez El objetivo central del trabajo ha sido probar que la actitud sincretica de rudolf
Problemas ontosemanticos de los terminos teoricos conforme a la concepcion estructuralista
Tesis doctoral de Falguera Lopez José Luis La tesis esta estructurada en tres capitulos. En los dos primeros se hace
Logiques modals tetravalents.
Tesis doctoral de Miquel Rius Font El objetivo de la memoria es definir y estudiar una clase de logicas abstractas
Metrizacion y teoricidad. una reconstruccion estructuralista de la teoria de la metrizacion fundamental (bases para una semantica de los conceptos metricos).
Tesis doctoral de José Antonio Diez Calzada El objeto de este trabajo es ofrecer una reconstruccion estructuralista de la teoria
«arboles semanticos para logica modal con algunos resultados sobre sistemas normales»
Tesis doctoral de Salguero Lamillar Francisco Jose En las ultimas decadas han proliferado los estudios semanticos referidos a logicas intensionales,
Logica y racionalidad del descubrimiento (acerca del metodo de arquimedes)
Tesis doctoral de Hernandez Martin M. Carmen Datos académicos de la tesis doctoral «Logica y racionalidad del descubrimiento (acerca
Sobre dos logicas categoricas: logica lineal y algebra con tipos ordenados
Tesis doctoral de Narciso Marti Oliet La logica lineal ha sido desarrollada recientemente por girard como una logica de acciones