Accéder directement au contenu

Thomas Seiller

3
Documents

Publications

alberto-naibo

On the computational meaning of axioms

Alberto Naibo , Mattia Petrolo , Thomas Seiller
Epistemology, Knowledge and the Impact of Interaction, 38, Springer, pp. 141-184, 2016, Logic, Epistemology, and the Unity of Science, 978-3-319-26504-9. ⟨10.1007/978-3-319-26506-3_5⟩
Chapitre d'ouvrage halshs-01313400v1

Verificationism and classical realizability

Alberto Naibo , Mattia Petrolo , Thomas Seiller
Perspectives on Interrogative Models of Inquiry, 8, Springer, pp.163-197, 2016, Logic, Argumentation & Reasoning, 978-3-319-20761-2. ⟨10.1007/978-3-319-20762-9_9⟩
Chapitre d'ouvrage hal-01251229v1