{"id":86783,"date":"2000-05-10T00:00:00","date_gmt":"2000-05-10T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/metodos-de-tableaux-para-logicas-con-declaraciones-de-terminos-dominios-preordenados-y-operaciones-monotonas\/"},"modified":"2000-05-10T00:00:00","modified_gmt":"2000-05-10T00:00:00","slug":"metodos-de-tableaux-para-logicas-con-declaraciones-de-terminos-dominios-preordenados-y-operaciones-monotonas","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/metodos-de-tableaux-para-logicas-con-declaraciones-de-terminos-dominios-preordenados-y-operaciones-monotonas\/","title":{"rendered":"Metodos de tableaux para logicas con declaraciones de terminos dominios preordenados y operaciones monotonas"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Pedro Jes\u00fas Martin De La Calle <\/strong><\/h2>\n<p>Las tesis presenta sistemas de tableaux para tres extensiones de la l\u00f3gica de pimer orden. En cada una de ellas se estudian m\u00e9todos de tableaux correctos y completos en dos versiones: b\u00e1sica y de variables libre.  la primera es una l\u00f3gica con pre\u00f3rdenes y g\u00e9neros din\u00e1micos (lpgd); adimite f\u00f3rmulas que expresen relaci\u00f3n de preorden entre t\u00e9rminos y relaci\u00f3nde subtipo entre g\u00e9neros. Las funciones y predicados son, en todos sus argumentos, mon\u00f3tonas o antimon\u00f3tonas, y los tableaux act\u00faan de forma que, en cada expansi\u00f3n de una rama por raz\u00f3n de anti-monoton\u00eda de alguna operaci\u00f3n, se asegure que la f\u00f3rmula introducida respeta la jerarqu\u00eda de g\u00e9neros contenida en la rama.  la segunda es una l\u00f3gica con declaraciones de t\u00e9rminos ldt que extiende lpgd permitiendo la declaraci\u00f3n expl\u00edcita de un t\u00e9rmino como perteneciente a un g\u00e9nero dado, aunque no permite relaci\u00f3n de preorden entre los datos. para ldt se estudian y definen las sustituciones sobre tableaux convariables libres que consevan la correcci\u00f3n de la expansi\u00f3n de ramas, y se presenta un c\u00e1lculo correcto, completo y termiante para resolver los problemas de unificaci\u00f3n r\u00edgida ordenada que se dan en el cierre de tableaux.  en la tercera es una l\u00f3gica con pre\u00f3rdenes mon\u00f3tonos lpm. Se trata de una l\u00f3gica homog\u00e9nea que admite relaci\u00f3nde preorden entre datos, pero no jerarqu\u00edas din\u00e1micas entre g\u00e9nero. Lpm se estudia en dos fases; en la primera no se considera la monoton\u00eda en las operaciones y se obtiene un c\u00e1lculo correcto, completo y terminante para la resoluci\u00f3n de los problemas de unificaci\u00f3n r\u00edgida preordenada que se presentan en el cierre de tableaux; este c\u00e1lculo es mejorado con la introducci\u00f3n de \u00f3rdenes de reducci\u00f3n.  en la segunda fase se supone que las operaciones son mon\u00f3tonas en todos sus argumentos y se define un c\u00e1lculo correcto y completo, pero no terminante, para la resoluci\u00f3n de los respectivos problemas de unificaci\u00f3n r\u00edg<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Metodos de tableaux para logicas con declaraciones de terminos dominios preordenados y operaciones monotonas<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Metodos de tableaux para logicas con declaraciones de terminos dominios preordenados y operaciones monotonas <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Pedro Jes\u00fas Martin De La Calle <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 05\/10\/2000<\/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>Antonio Gavilanes Franco<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: mario Rodr\u00edguez artalejo <\/li>\n<li>francisca Lucio carrasco (vocal)<\/li>\n<li>jaume Agust\u00ed cullell (vocal)<\/li>\n<li>robert lukas mario Nieuwenhuis (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Pedro Jes\u00fas Martin De La Calle Las tesis presenta sistemas de tableaux para tres extensiones de la [&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":[1890,13880,126],"tags":[101834,6567,6478,4813,181996,6477],"class_list":["post-86783","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-informatica","category-matematicas","tag-antonio-gavilanes-franco","tag-francisca-lucio-carrasco","tag-jaume-agusti-cullell","tag-mario-rodriguez-artalejo","tag-pedro-jesus-martin-de-la-calle","tag-robert-lukas-mario-nieuwenhuis"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/86783","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=86783"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/86783\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=86783"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=86783"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=86783"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}