Dear all,
We will have our next LIRa session on Thursday, June 18th. Our speaker is Jörg Endrullis. You can find the details of the talk below. As usual, the talk will be followed by (online) drinks. We will use our recurring zoom link:: https://uva-live.zoom.us/j/92907704256?pwd=anY3WkFmQVhLZGhjT2JXMlhjQVl1dz09 (Meeting ID: 929 0770 4256, Password: 036024)
Speaker: Jörg Endrullis
Date and Time: Thursday, June 18th 2020, 16:30-18:00, Amsterdam time.
Venue: online.
Title: Syllogistic Logic with "Most"
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.
Hope to see you there!
The LIRa team