On the computational meaning of axioms A Naibo, M Petrolo, T Seiller Epistemology, knowledge and the impact of interaction, 141-184, 2016 | 20 | 2016 |
Are uniqueness and deducibility of identicals the same? A Naibo, M Petrolo Theoria 81 (2), 143-181, 2015 | 20 | 2015 |
The naturality of natural deduction L Tranchini, P Pistone, M Petrolo Studia Logica 107 (1), 195-231, 2019 | 19 | 2019 |
A logic for factive ignorance E Kubyshkina, M Petrolo Synthese 198 (6), 5917-5928, 2021 | 18 | 2021 |
The naturality of natural deduction (II): On atomic polymorphism and generalized propositional connectives P Pistone, L Tranchini, M Petrolo Studia Logica, 1-48, 2022 | 7 | 2022 |
Verificationism and classical realizability A Naibo, M Petrolo, T Seiller Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and …, 2016 | 7 | 2016 |
The naturality of natural deduction (II). Some remarks on atomic polymorphism P Pistone, L Tranchini, M Petrolo arXiv preprint arXiv:1908.11353, 2019 | 6 | 2019 |
On paradoxes in normal form M Petrolo, P Pistone Topoi 38 (3), 605-617, 2019 | 5 | 2019 |
Logics of ignorance and being wrong D Gilbert, E Kubyshkina, M Petrolo, G Venturi Logic Journal of the IGPL 30 (5), 870-885, 2022 | 4 | 2022 |
What ignorance could not be E Kubyshkina, M Petrolo Principia: an international journal of epistemology 24 (2), 247–254-247–254, 2020 | 2 | 2020 |
Keep trusting! A plea for the notion of Trustworthy AI G Zanotti, M Petrolo, D Chiffi, V Schiaffonati AI & SOCIETY, 1-12, 2023 | 1 | 2023 |
Reasoning about algorithmic opacity E Kubyshkina, M Petrolo CEUR WORKSHOP PROCEEDINGS 3319, 39-45, 2022 | 1 | 2022 |
Negative translations and duality: toward a unified approach M Petrolo Ludics, Dialogue and Interaction: PRELUDE Project-2006-2009. Revised …, 2011 | 1 | 2011 |
A logical approach to algorithmic opacity M Petrolo, E Kubyshkina, G Primiero CEUR WORKSHOP PROCEEDINGS 3615, 89-95, 2024 | | 2024 |
Revising the Elenchus via Belief Revision E Kubyshkina, M Petrolo Logica Universalis 17 (2), 231-258, 2023 | | 2023 |
A proof-theoretic approach to ignorance M Girlando, E Kubyshkina, M ia Petrolo | | 2022 |
What is normal? E Kubyshkina, M Petrolo Logique et Analyse 257, 25-37, 2022 | | 2022 |
Epistemic logics for ignorance representation E Kubyshkina, M Petrolo Интеллектуальные системы. Теория и приложения 26 (1), 411-412, 2022 | | 2022 |
Intuitionism vs. Classicism: A Mathematical Attack on Classical Logic, coll.«Studies in Theoretical Philosophy» A Naibo, M Petrolo Revue Philosophique de la France et de l'Étranger 206 (1), 101-103, 2016 | | 2016 |
Nick Haverkamp," Intuitionism vs. Classicism: A mathematical attack on classical logic"(Frankfurt am Main, Vittorio Klostermann) A Naibo, M Petrolo Revue philosophique de la France et de l'étranger 141 (1), 101-103, 2016 | | 2016 |