Arrazola Ramírez, José Ramón EnriqueMartínez Ruiz, IvánARRAZOLA RAMIREZ, JOSE RAMON ENRIQUE; 15968MARTINEZ RUIZ, IVAN; 205993Muñoz Toriz, Juan Pablo2019-05-242019-05-242017-01https://hdl.handle.net/20.500.12371/1096"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".pdfspaCiencias Físico Matemáticas y Ciencias de la TierraMatemáticas--TerminologíaLógica descriptivaTesis de doctoradoopenAccess