{"id":10039,"date":"1996-01-01T00:00:00","date_gmt":"1996-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/1996\/01\/01\/sistemes-de-gentzen-multidimensionals-i-logiques-finitament-valorades-teoria-i-aplicacions\/"},"modified":"1996-01-01T00:00:00","modified_gmt":"1996-01-01T00:00:00","slug":"sistemes-de-gentzen-multidimensionals-i-logiques-finitament-valorades-teoria-i-aplicacions","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/barcelona\/sistemes-de-gentzen-multidimensionals-i-logiques-finitament-valorades-teoria-i-aplicacions\/","title":{"rendered":"Sistemes de gentzen multidimensionals i logiques finitament valorades. teoria i aplicacions."},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Gil Estallo Angel Javier <\/strong><\/h2>\n<p>Se define sistema de gentzen m-dimensional como una pareja formada por un lenguaje proposicional y una relacion de consecuencia finitaria y estructural sobre el conjunto de m-secuentes, siendo un m- secuente una expresion de la forma (a1,&#8230;,Am) donde cada ai es una sucesion finita de formulas. Se define formalmente el concepto de sistema de gentzen acumulativo y de teorema de la deduccion para un sistema de gentzen. Se definen y caracterizan los sistemas de gentzen m-dimensionales protoalgebraicos y se estudia la relacion entre estos y la regla de corte. Se define el concepto de equiValencia entre sistemas de gentzen y se definen los sistemas de gentzen algebrizables como aquellos equivalentes al sistema de gentzen naturalmente asociado a una cierta clase de algebras. Se estudian las propiedades generales de los sistemas de gentzen determinados por los calculos de m-secuentes vl (definido por m. Baaz et al.  \u00abelimination of cuts in first-order finite-valued logics\u00bb, 1994) y rl (definido por g. Rousseau \u00absequents in many valued logic i\u00bb, 1967), donde l es una algebra finita arbitraria. Finalmente se estudian los sistemas de gentzen determinados por los calculos de secuentes vl en caso que l sea una mv-algebra lineal y finita de m elementos (en relacion con las logicas finitamente valoradas de lukasiewicz), o bien sea un reticulo distributivo pseudocomplementado finito (en relacion con las extensiones del fragmento sin implicacion del calculo proposicional intuicionista).<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Sistemes de gentzen multidimensionals i logiques finitament valorades. teoria i aplicacions.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Sistemes de gentzen multidimensionals i logiques finitament valorades. teoria i aplicacions. <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Gil Estallo Angel Javier <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Barcelona<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1996<\/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 Torrens Torrell<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Josep Pla Carrera <\/li>\n<li>Francesc Esteva Massaguer (vocal)<\/li>\n<li>Roberto Cignoli (vocal)<\/li>\n<li> Rodriguez Salas Antonio  Jes\u00fas (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Gil Estallo Angel Javier Se define sistema de gentzen m-dimensional como una pareja formada por un lenguaje [&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,10816,33898],"tags":[33900,6570,33899,3755,33901,3751],"class_list":["post-10039","post","type-post","status-publish","format-standard","hentry","category-barcelona","category-logica","category-logica-deductiva","category-logica-matematica","category-teoria-de-la-demostracion","tag-antonio-torrens-torrell","tag-francesc-esteva-massaguer","tag-gil-estallo-angel-javier","tag-josep-pla-carrera","tag-roberto-cignoli","tag-rodriguez-salas-antonio-jesus"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/10039","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=10039"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/10039\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=10039"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=10039"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=10039"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}