{"id":3982,"date":"2020-02-18T14:13:54","date_gmt":"2020-02-18T13:13:54","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=3982"},"modified":"2021-01-19T00:26:32","modified_gmt":"2021-01-18T23:26:32","slug":"lira-session-jorg-endrullis","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2020\/02\/lira-session-jorg-endrullis\/","title":{"rendered":"LIRa session (online only): J\u00f6rg Endrullis"},"content":{"rendered":"<p>Speaker: J\u00f6rg Endrullis<\/p>\n<p>Date and Time: Thursday, June&nbsp;18th 2020, 16:30-18:00, <a href=\"https:\/\/www.timeanddate.com\/time\/zone\/netherlands\/amsterdam\" target=\"_blank\" rel=\"noopener noreferrer\">Amsterdam time<\/a>.<\/p>\n<p>Venue: <strong><a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/guidelines-for-online-sessions\/\">online<\/a><\/strong>.<\/p>\n<p><strong>Title: Syllogistic Logic with &#8220;Most&#8221;<br \/>\n<\/strong><\/p>\n<p><em>Abstract. We add Most X are Y to the syllogistic logic of All X are Y and Some X are Y. We prove soundness, completeness, and decidability in polynomial time. Our logic has infinitely many rules, and we prove that this is unavoidable. This is joint work with Larry Moss.<br \/>\n<\/em><\/p>\n<p>See\u00a0<a href=\"https:\/\/video.uva.nl\/media\/LIRa+seminar+on+2020-06-18+by+J%C3%B6rg+Endrullis\/0_zfzmge06\">here<\/a>\u00a0for the recording of the talk.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker: J\u00f6rg Endrullis<br \/>\nDate and Time: Thursday, June&nbsp;18th 2020, 16:30-18:00, Amsterdam time.<br \/>\nVenue: online.<br \/>\nTitle: Syllogistic Logic with &#8220;Most&#8221;<\/p>\n<p>Abstract. We add Most X are Y to the syllogistic logic of All X are Y and Some X are Y. We prove soundness, completeness, and decidability in polynomial time. Our logic has infinitely many rules, and we prove that [&#8230;]<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-3982","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3982","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=3982"}],"version-history":[{"count":11,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3982\/revisions"}],"predecessor-version":[{"id":4243,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3982\/revisions\/4243"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=3982"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=3982"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=3982"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}