Suivre
Mattia Petrolo
Mattia Petrolo
Assistant professor, Universidade Federal do ABC
Aucune adresse e-mail validée
Titre
Citée par
Citée par
Année
On the computational meaning of axioms
A Naibo, M Petrolo, T Seiller
Epistemology, knowledge and the impact of interaction, 141-184, 2016
202016
Are uniqueness and deducibility of identicals the same?
A Naibo, M Petrolo
Theoria 81 (2), 143-181, 2015
202015
The naturality of natural deduction
L Tranchini, P Pistone, M Petrolo
Studia Logica 107 (1), 195-231, 2019
192019
A logic for factive ignorance
E Kubyshkina, M Petrolo
Synthese 198 (6), 5917-5928, 2021
182021
The naturality of natural deduction (II): On atomic polymorphism and generalized propositional connectives
P Pistone, L Tranchini, M Petrolo
Studia Logica, 1-48, 2022
72022
Verificationism and classical realizability
A Naibo, M Petrolo, T Seiller
Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and …, 2016
72016
The naturality of natural deduction (II). Some remarks on atomic polymorphism
P Pistone, L Tranchini, M Petrolo
arXiv preprint arXiv:1908.11353, 2019
62019
On paradoxes in normal form
M Petrolo, P Pistone
Topoi 38 (3), 605-617, 2019
52019
Logics of ignorance and being wrong
D Gilbert, E Kubyshkina, M Petrolo, G Venturi
Logic Journal of the IGPL 30 (5), 870-885, 2022
42022
What ignorance could not be
E Kubyshkina, M Petrolo
Principia: an international journal of epistemology 24 (2), 247–254-247–254, 2020
22020
Keep trusting! A plea for the notion of Trustworthy AI
G Zanotti, M Petrolo, D Chiffi, V Schiaffonati
AI & SOCIETY, 1-12, 2023
12023
Reasoning about algorithmic opacity
E Kubyshkina, M Petrolo
CEUR WORKSHOP PROCEEDINGS 3319, 39-45, 2022
12022
Negative translations and duality: toward a unified approach
M Petrolo
Ludics, Dialogue and Interaction: PRELUDE Project-2006-2009. Revised …, 2011
12011
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20