Show simple item record

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.identifier.urihttps://hdl.handle.net/20.500.12371/1096
dc.description.abstractEn 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.formatpdf
dc.language.isospa
dc.publisherBenemérita Universidad Autónoma de Puebla
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.titleLógicas descriptivas
dc.typeTesis
dc.folio024017T
dc.identificator1
dc.type.conacytdoctoralThesis
dc.type.degreeDoctorado
dc.thesis.degreedisciplineÁrea de Ciencias Exactas
dc.thesis.degreegrantorFacultad de Ciencias Físico Matemáticas
dc.thesis.careerDoctorado en Ciencias (Matemáticas)
dc.rights.accesopenAccess
dc.audiencegeneralPublic
dc.viewer.xml/visorXML/index.html?code=024017T
dc.matricula.creator212570223


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

http://creativecommons.org/licenses/by-nc-nd/4
Except where otherwise noted, this item's license is described as http://creativecommons.org/licenses/by-nc-nd/4