Aristotle's Assertoric Syllogistic in Isabelle/HOL
Angeliki Koutsoukou-Argyraki (U of Cambridge)
21-Jan-2021, 19:00-20:00 (3 years ago)
Abstract: I discuss my formalisation of some basic elements of Aristotle's assertoric syllogistic using the proof assistant (interactive theorem prover) Isabelle/HOL. The formal proof development can be found on the Archive of Formal Proofs
logic in computer sciencelogic
Audience: researchers in the topic
Series comments: Description: Seminar on all areas of logic
| Organizer: | Wesley Calvert* |
| *contact for this listing |
Export talk to