{"id":44114,"date":"2018-09-07T10:34:17","date_gmt":"2018-09-07T10:34:17","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/modelos-generales-de-la-logica-de-segundo-orden\/"},"modified":"2018-09-07T10:34:17","modified_gmt":"2018-09-07T10:34:17","slug":"modelos-generales-de-la-logica-de-segundo-orden","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/filosofia\/modelos-generales-de-la-logica-de-segundo-orden\/","title":{"rendered":"Modelos generales de la logica de segundo orden."},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Manzano Arjona M. Gracia <\/strong><\/h2>\n<p>Este trabajo constituye un estudio autocontenido de la logica de segundo orden. Los capitulos primero y segundo tratan los aspectos sintacticos de esta logica entre los que se cuenta el de la construccion de un calculo deductivo para un formalismo de segundo orden con abstractor. En el tercer capitulo estudio la semantica de la logica de segundo orden. Introduzco el concepto de sistema  su clasificacion en standard y no-standard y la definicion de henkin de sistema general. En el cuarto capitulo demuestro que el formalismo presentado es completo en sentido general.  en el ultimo capitulo caracterizo algebraicamente a una extensa clase de sistemas generales. Demuestro que los sistemas definidos algebraicamente son generales y tambien  que existen sistemas generales que no caen bajo la definicion algebraica.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Modelos generales de la logica de segundo orden.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Modelos generales de la logica de segundo orden. <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Manzano Arjona M. Gracia <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Barcelona<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1978<\/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>Jes\u00fas Mosterin De Las Heras<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Francisco Goma Muste <\/li>\n<li>Jes\u00fas Mosterin De Las Heras (vocal)<\/li>\n<li>Emilio Lledo I\u00f1igo (vocal)<\/li>\n<li>Javier Muguerza Carpintier (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Manzano Arjona M. Gracia Este trabajo constituye un estudio autocontenido de la logica de segundo orden. Los [&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,165,5342,108770],"tags":[277,275,26193,108772,108771],"class_list":["post-44114","post","type-post","status-publish","format-standard","hentry","category-barcelona","category-filosofia","category-filosofia-general","category-logica-dialectica","tag-emilio-lledo-inigo","tag-francisco-goma-muste","tag-javier-muguerza-carpintier","tag-jesus-mosterin-de-las-heras","tag-manzano-arjona-m-gracia"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/44114","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=44114"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/44114\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=44114"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=44114"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=44114"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}