View in EDS HTML Full Text PDF Full Text

A Formalisation of Aristotle's Assertoric Syllogistic in Isabelle/HOL.

Saved in:
Bibliographic Details
Title: A Formalisation of Aristotle's Assertoric Syllogistic in Isabelle/HOL.
Authors: Koutsoukou-Argyraki, Angeliki1,2, angeliki.koutsoukouargyraki@rhul.ac.uk, Wapniarski, Karol3, karol.wapniarski@amu.edu.pl
Source: Topoi: An International Review of Philosophy; May2026, Vol. 45 Issue 2, p693-705, 13p
Database: Humanities Source
Full text is not displayed to guests.
Description
ISSN:01677411
DOI:10.1007/s11245-025-10184-6