{"id":163,"date":"2022-09-12T11:20:20","date_gmt":"2022-09-12T11:20:20","guid":{"rendered":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/?page_id=163"},"modified":"2026-01-13T11:16:41","modified_gmt":"2026-01-13T11:16:41","slug":"spl-english","status":"publish","type":"page","link":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/en\/spl-english\/","title":{"rendered":"Portuguese Logic Society"},"content":{"rendered":"\n<p><\/p>\n\n\n\n<p><\/p>\n\n\n\n<p class=\"has-medium-font-size\">Aims of the Portuguese Logic Society<\/p>\n\n\n\n<p>The Portuguese Logic Society aims to contribute to the promotion of logic in Portugal and the multidisciplinary collaboration between interested parties. Main topics range from the studies of mathematical logic to philosophical logic as well as logic for artificial intelligence and theoretical computer science.<\/p>\n\n\n\n<p class=\"has-medium-font-size\">History<\/p>\n\n\n\n<p>The Portuguese Logic Society was founded in 2022 on the World Logic Day,  14th of January. The founding members were Ant\u00f3nio Zilh\u00e3o, Cristina Sernadas, Fernando Ferreira, Francisco Dion\u00edsio, In\u00eas Lynce, Jos\u00e9 Esp\u00edrito Santo, Lu\u00eds Caires, Manuel Martins, Olga Pombo, Paula Gouveia, Paulo de Sousa Mendes, Reinhard Kahle and Vasco Vasconcelos (see <a rel=\"noreferrer noopener\" href=\"https:\/\/spl.tecnico.ulisboa.pt\/?page_id=400&amp;lang=en\" target=\"_blank\">photo<\/a>).<\/p>\n\n\n\n<p class=\"has-medium-font-size\">Activities<\/p>\n\n\n\n<p>The  Portuguese Logic Society  organizes the <a rel=\"noreferrer noopener\" href=\"https:\/\/spl.tecnico.ulisboa.pt\/colloquium\" target=\"_blank\">Colloquium of Logic<\/a>  and the <a rel=\"noreferrer noopener\" href=\"https:\/\/spl.tecnico.ulisboa.pt\/conference\" target=\"_blank\">&#8220;Days in Logic&#8221;<\/a> conference .<\/p>\n\n\n\n<p class=\"has-medium-font-size\">Membership<\/p>\n\n\n\n<p>To become a member please send an email to <a href=\"mailto:secretariadoSPL@math.tecnico.ulisboa.pt\">secretariadoSPL@math.tecnico.ulisboa.pt<\/a>. The annual subscription is 20 euros (5 euros for students).<\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Aims of the Portuguese Logic Society The Portuguese Logic Society aims to contribute to the promotion of logic in Portugal and the multidisciplinary collaboration between interested parties. Main topics range from the studies of mathematical logic to philosophical logic as well as logic for artificial intelligence and theoretical computer science. History The Portuguese Logic Society &hellip;<\/p>\n<p class=\"read-more\"> <a class=\"\" href=\"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/en\/spl-english\/\"> <span class=\"screen-reader-text\">Portuguese Logic Society<\/span> Read More &raquo;<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"site-sidebar-layout":"default","site-content-layout":"default","ast-global-header-display":"","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":"","footnotes":""},"_links":{"self":[{"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/pages\/163"}],"collection":[{"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/comments?post=163"}],"version-history":[{"count":29,"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/pages\/163\/revisions"}],"predecessor-version":[{"id":988,"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/pages\/163\/revisions\/988"}],"wp:attachment":[{"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/media?parent=163"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}