A Formalization of Kant's Transcendental Logic. - Theodora Achourioti; Michiel van Lambalgen (Rev. Symb. Log., 2011)

Kant'sLogicRevisited. - Theodora Achourioti; Michiel van Lambalgen (FLAP, 2017)