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
Issue number	Special Issue: Meaning and Understanding via Proofs
DOIs	https://doi.org/10.1007/s11245-025-10184-6
Publication status	Accepted/In press - 6 Feb 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 = feb,

day = "6",

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

language = "English",

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

issn = "0167-7411",

publisher = "Springer Netherlands",

number = "Special Issue: Meaning and Understanding via Proofs",

}

TY - JOUR

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

AU - Koutsoukou-Argyraki, Angeliki

AU - Wapniarski, Karol

PY - 2025/2/6

Y1 - 2025/2/6

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

IS - Special Issue: Meaning and Understanding via Proofs

ER -