{"id":81604,"date":"2018-03-10T00:05:30","date_gmt":"2018-03-10T00:05:30","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/ideales-y-filtros-de-implicantes-implicados-en-logicas-temporales-con-tiempo-lineal-y-discreto\/"},"modified":"2018-03-10T00:05:30","modified_gmt":"2018-03-10T00:05:30","slug":"ideales-y-filtros-de-implicantes-implicados-en-logicas-temporales-con-tiempo-lineal-y-discreto","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/ideales-y-filtros-de-implicantes-implicados-en-logicas-temporales-con-tiempo-lineal-y-discreto\/","title":{"rendered":"Ideales y filtros de implicantes\/implicados en l\u00f3gicas temporales con tiempo lineal y discreto"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Pablo Jose Cordero  Ortega <\/strong><\/h2>\n<p>Enmarcado en el campo de los fundamentos matem\u00e1ticos de la demostraci\u00f3n autom\u00e1tica, realiza un estudio de las l\u00f3gicas temporales proposionales, extensiones de la l\u00f3gica cl\u00e1sica, definidas como \u00e1lgebras abstractas, que permite la extensi\u00f3n a \u00e9stas de la metodolog\u00eda de demostraci\u00f3n autom\u00e1tica tas. La metodolog\u00eda tas se ha consolidado ya como una s\u00f3lida alternativa a los trabajos existentes en demostraci\u00f3n autom\u00e1tica no clausal, como los m\u00e9todos de resoluci\u00f3n y los m\u00e9todos tableaux.  la herramienta fundamental de los m\u00e9todos tas es asociar a cada subf\u00f3rmula de una f\u00f3rmula en la l\u00f3gica considerada una lista de implicantes e implicados; la informaci\u00f3n recogida en estas listas, se usar\u00e1 posteriormente para eldise\u00f1o de transformaciones de reducci\u00f3n. Por esta raz\u00f3n, en este trabajo desarrollamos una teoria de cierre completamente novedosa, sobre los ideales\/filtros de literales implicantes\/implicados de una f\u00f3rmula, introduciendo las nociones de conjuntos a-cerrados y b-cerrados de literales y el concepto de base de estos conjuntos. Demostramos la unicidad de las bases y su propiedad de maximalidad sobre la cantidad de informaci\u00f3n por ellas recogida.  puesto que el objeto final es la aplicabilidad de nuestra investigaci\u00f3n, en el desarrollo de este trabajo se estudian los aspectos computacionales de la teor\u00eda introducida, dise\u00f1ando, en particular, algoritmos de gesti\u00f3n de los ideales\/filtros de literales implicantes\/implicados y del c\u00e1lculo de las bases que, como se demuestra, tienen coste lineal.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Ideales y filtros de implicantes\/implicados en l\u00f3gicas temporales con tiempo lineal y discreto<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Ideales y filtros de implicantes\/implicados en l\u00f3gicas temporales con tiempo lineal y discreto <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Pablo Jose Cordero  Ortega <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 M\u00e1laga<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 13\/12\/1999<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Inmaculada Perez De Guzman Molina<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Barja perez Jos\u00e9 Mar\u00eda <\/li>\n<li>jaume Agust\u00ed cullell (vocal)<\/li>\n<li>Jos\u00e9 Mu\u00f1oz perez (vocal)<\/li>\n<li> Fari\u00f1as del cerro Luis (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Pablo Jose Cordero Ortega Enmarcado en el campo de los fundamentos matem\u00e1ticos de la demostraci\u00f3n autom\u00e1tica, realiza [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[2809,1890,2528,3747,3748,10816,7834,126,32513,33898],"tags":[3754,6569,24725,6478,24726,63385],"class_list":["post-81604","post","type-post","status-publish","format-standard","hentry","category-algebra","category-ciencia-de-los-ordenadores","category-inteligencia-artificial","category-logica","category-logica-deductiva","category-logica-matematica","category-malaga","category-matematicas","category-reticulos","category-teoria-de-la-demostracion","tag-barja-perez-jose-maria","tag-farinas-del-cerro-luis","tag-inmaculada-perez-de-guzman-molina","tag-jaume-agusti-cullell","tag-jose-munoz-perez","tag-pablo-jose-cordero-ortega"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/81604","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=81604"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/81604\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=81604"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=81604"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=81604"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}