Lógicas descriptivas

Simple item page
dc.audiencegeneralPublic
dc.contributorArrazola Ramírez, José Ramón Enrique
dc.contributorMartínez Ruiz, Iván
dc.contributor.advisorARRAZOLA RAMIREZ, JOSE RAMON ENRIQUE; 15968
dc.contributor.advisorMARTINEZ RUIZ, IVAN; 205993
dc.contributor.authorMuñoz Toriz, Juan Pablo
dc.creatorMUÑOZ TORIZ, JUAN PABLO; 347245
dc.date.accessioned2019-05-24T16:54:01Z
dc.date.available2019-05-24T16:54:01Z
dc.date.issued2017-01
dc.description.abstract"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".
dc.folio24017T
dc.formatpdf
dc.identificator1
dc.identifier.urihttps://hdl.handle.net/20.500.12371/1096
dc.language.isospa
dc.matricula.creator212570223
dc.publisherBenemérita Universidad Autónoma de Puebla
dc.rights.accesopenAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4
dc.subject.classificationCiencias Físico Matemáticas y Ciencias de la Tierra
dc.subject.lccMatemáticas--Terminología
dc.subject.lccLógica descriptiva
dc.thesis.careerDoctorado en Ciencias (Matemáticas)
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactas
dc.thesis.degreegrantorFacultad de Ciencias Físico Matemáticas
dc.thesis.degreetoobtainDoctor (a) en Ciencias (Matemáticas)
dc.titleLógicas descriptivas
dc.typeTesis de doctorado
dc.type.conacytdoctoralThesis
dc.type.degreeDoctorado
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
24017T.pdf
Size:
1.63 MB
Format:
Adobe Portable Document Format
Download
Collections
Tesis de Doctorado