Speaker: Jörg Endrullis
Date and Time: Thursday, June 18th 2020, 16:30-18:00, Amsterdam time.
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.