A Formalisation of Aristotle’s Assertoric Syllogistic in Isabelle/HOL

Research output: Contribution to journal › Article › peer-review

Original language	English
Journal	Topoi: An International Review of Philosophy
DOIs	https://doi.org/10.1007/s11245-025-10184-6
Publication status	Published - 18 Apr 2025

Access to Document

@article{b5099e64095943b093f49d6e368da538,

title = "A Formalisation of Aristotle{\textquoteright}s Assertoric Syllogistic in Isabelle/HOL",

author = "Angeliki Koutsoukou-Argyraki and Karol Wapniarski",

year = "2025",

month = apr,

day = "18",

doi = "10.1007/s11245-025-10184-6",

language = "English",

journal = "Topoi: An International Review of Philosophy",

issn = "0167-7411",

publisher = "Springer Netherlands",

}

TY - JOUR

T1 - A Formalisation of Aristotle’s Assertoric Syllogistic in Isabelle/HOL

AU - Koutsoukou-Argyraki, Angeliki

AU - Wapniarski, Karol

PY - 2025/4/18

Y1 - 2025/4/18

U2 - 10.1007/s11245-025-10184-6

DO - 10.1007/s11245-025-10184-6

M3 - Article

SN - 0167-7411

JO - Topoi: An International Review of Philosophy

JF - Topoi: An International Review of Philosophy

ER -