BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Angeliki Koutsoukou-Argyraki (U of Cambridge)
DTSTART:20210121T190000Z
DTEND:20210121T200000Z
DTSTAMP:20260423T035707Z
UID:OLS/29
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/29/">Ari
 stotle's Assertoric Syllogistic in Isabelle/HOL</a>\nby Angeliki Koutsouko
 u-Argyraki (U of Cambridge) as part of Online logic seminar\n\n\nAbstract\
 nI discuss my formalisation of some basic elements of\nAristotle's asserto
 ric syllogistic\nusing the proof assistant (interactive theorem prover) Is
 abelle/HOL. The\nformal proof development can\nbe found on the <a href="ht
 tps://www.isa-afp.org/entries/Aristotles_Assertoric_Syllogistic.html">Arch
 ive of Formal Proofs</a>\n
LOCATION:https://researchseminars.org/talk/OLS/29/
END:VEVENT
END:VCALENDAR