A Formalisation of Aristotle’s Assertoric Syllogistic in Isabelle/HOL
Sign Up to like & getrecommendations! Published in 2025 at "Topoi"
DOI: 10.1007/s11245-025-10184-6
Abstract: We present a formalisation of Aristotle’s Assertoric Syllogistic in the proof assistant (interactive theorem prover) Isabelle/HOL and discuss the insights gained by the formalisation, as we demonstrate that the formal proofs and especially Isabelle’s automation… read more here.
Keywords: aristotle assertoric; formalisation; isabelle hol; assertoric syllogistic ... See more keywords