{"id":305,"date":"2011-10-10T14:56:49","date_gmt":"2011-10-10T12:56:49","guid":{"rendered":"http:\/\/logica.dmi.unisa.it\/lucaspada\/?p=305"},"modified":"2014-01-11T22:22:36","modified_gmt":"2014-01-11T21:22:36","slug":"omitting-type-theorems-for-lukasiewicz-logic","status":"publish","type":"post","link":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/305-omitting-type-theorems-for-lukasiewicz-logic\/","title":{"rendered":"Omitting type theorems for \u0141ukasiewicz Logic"},"content":{"rendered":"<p>This is an account of some -still unpublished- natural continuation of the ideas <a title=\"Forcing in Lukasiewicz Predicate Logic\" href=\"http:\/\/logica.dmi.unisa.it\/lucaspada\/195-forcing-in-lukasiewicz-predicate-logic\/\">contained here<\/a>. It was delivered at\u00a0the conference\u00a0ManyVal10, in Varese, 3d May 2010.<\/p>\n<p style=\"text-align: center;\"><a href=\"http:\/\/logica.dmi.unisa.it\/lucaspada\/wp-content\/uploads\/Varese.pdf\">Omitting type theorems for \u0141ukasiewicz Logic<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>This is an account of some -still unpublished- natural continuation of the ideas contained here. It was delivered at\u00a0the conference\u00a0ManyVal10, in Varese, 3d May 2010. Omitting type theorems for \u0141ukasiewicz Logic<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[17],"tags":[],"class_list":["post-305","post","type-post","status-publish","format-standard","hentry","category-preprint"],"blocksy_meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/305","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/comments?post=305"}],"version-history":[{"count":2,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/305\/revisions"}],"predecessor-version":[{"id":442,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/305\/revisions\/442"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=305"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/categories?post=305"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/tags?post=305"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}