Título

Lógicas descriptivas

Autor

JUAN PABLO MUÑOZ TORIZ

Colaborador

JOSE RAMON ENRIQUE ARRAZOLA RAMIREZ (Asesor de tesis)

IVAN MARTINEZ RUIZ (Asesor de tesis)

Nivel de Acceso

Acceso Abierto

Licencia

http://creativecommons.org/licenses/by-nc-nd/4.0

Materias

Matemáticas--Terminología - (LCC) Lógica descriptiva - (LCC) CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA - (CTI)

Resumen o descripción

En nuestro proyecto de Maestría “Demostración automática de Teoremas” se crearon demostradores automáticos de fórmulas para lógica clásica, lógica intuicionista y algunas otras lógicas no clásicas. En nuestro afán por extender nuestra automatización a la lógica de primer orden (POL), o al menos a la parte decidible de POL, nos introducimos al estudio de sistemas lógicos más expresivos. Lo anterior nos condujo a las lógicas descriptivas que en principio son variantes notacionales de extenciones de fragmentos decidibles de POL.

Benemérita Universidad Autónoma de Puebla

Fecha de publicación

enero de 2017

Tipo de publicación

Tesis de doctorado

Recurso de información

https://hdl.handle.net/20.500.12371/1096

Formato

application/pdf

Idioma

Español

Audiencia

Público en general

Repositorio Orígen

Repositorio Institucional de Acceso Abierto RIAA-BUAP

Descargas

0