{"id":70597,"date":"2004-01-10T00:00:00","date_gmt":"2004-01-10T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/strict-weak-languages-an-analysis-of-strict-implication\/"},"modified":"2004-01-10T00:00:00","modified_gmt":"2004-01-10T00:00:00","slug":"strict-weak-languages-an-analysis-of-strict-implication","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/barcelona\/strict-weak-languages-an-analysis-of-strict-implication\/","title":{"rendered":"Strict-weak languages. an analysis of strict implicati\u00f3n"},"content":{"rendered":"<h2>Tesis doctoral de <strong> F\u00e9lix Bou Moliner <\/strong><\/h2>\n<p>Esta tesis docotral introduce los aqu\u00ed llamados lenguajes estricto-d\u00e9biles, y los analiza desde diversos puntos de vista.Los lenguajes estricto d\u00e9biles son aquellos lenguajes formales que constan de conjunci\u00f3n , disyunci\u00f3n , falsum , verum, y adicionalmente de una cantidad indeterminada de conectivas que sem\u00e1ticamente se interpretan en las estructuras de kripke como diferencias d\u00e9biles.Estos lenguajes nos dan un fragmento de los habituales lenguajes modales puesto que:  donde  es la implicaci\u00f3n material y es la diferencia material.Para el caso en que hay una sola implicaci\u00f3n estricta y ninguna diferencia d\u00e9bil resulta que la clausula sem\u00e1ntica para la implicaci\u00f3n estrica que obtenemos es bien conocida, coincide con la de la l\u00f3gica proposicional intuicionista (y con la de otros muchos ejemplos).  los lenguajes estricto-d\u00e9biles se analizan en la tesis doctoral, desde tres puntos de vista diferentes:teor\u00eda de modelos (donde se introduce la noci\u00f3n de quasi bisimilaridad), teor\u00eda de  la prueba (donde se introduce la noci\u00f3n de l\u00f3gica estricto-d\u00e9bil)y commputabilidad (se caracterizan las clases de complejidad para las l\u00f3gicas estricto-d\u00e9bil).Los resultados obtenidos desde estas tres vertientes sugieren que aunque los lenguajes estricto-d\u00e9biles son un fragmento de los lenguajes modales, en muchas ocasiones un conocimiento de lo que sucede para dichos fragmentos nos aporta informaci\u00f3n sobre lo que ocurre en la totalidad de los lenguajes modales (incluso fuera de los fragmentos anteriores).<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Strict-weak languages. an analysis of strict implicati\u00f3n<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Strict-weak languages. an analysis of strict implicati\u00f3n <\/li>\n<li><strong>Autor:<\/strong>\u00a0 F\u00e9lix Bou Moliner <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Barcelona<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/10\/2004<\/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>Ramon Jansana Ferrer<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: josep Mar\u00eda Font llovet <\/li>\n<li>alexandru Bal tag (vocal)<\/li>\n<li>arturo Celani sergio (vocal)<\/li>\n<li>yae Venema (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de F\u00e9lix Bou Moliner Esta tesis docotral introduce los aqu\u00ed llamados lenguajes estricto-d\u00e9biles, y los analiza desde diversos [&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":[951,3747,3748,24723],"tags":[154099,154100,154098,19009,19010,154101],"class_list":["post-70597","post","type-post","status-publish","format-standard","hentry","category-barcelona","category-logica","category-logica-deductiva","category-logica-modal","tag-alexandru-bal-tag","tag-arturo-celani-sergio","tag-felix-bou-moliner","tag-josep-maria-font-llovet","tag-ramon-jansana-ferrer","tag-yae-venema"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/70597","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=70597"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/70597\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=70597"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=70597"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=70597"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}