E-LIB Suche - Ergebnisse für: Petrolo, Mattia

1

Keep trusting! A plea for the notion of Trustworthy AI:

Zanotti, Giacomo ; Petrolo, Mattia ; Chiffi, Daniele.
AI & SOCIETY. , 2023

Link: https://doi.org/10.1007/..

2

Revising the Elenchus via Belief Revision:

Kubyshkina, Ekaterina ; Petrolo, Mattia
Logica Universalis. 17 (2023) 2 - p. 231-258 , 2023

Link: https://doi.org/10.1007/..

3

Logics of Ignorance and Being Wrong:

Gilbert, David ; Kubyshkina, Ekaterina ; Petrolo, Mattia.
Logic Journal of the IGPL. 30 (2021) 5 - p. 870-885 , 2021

Link: https://doi.org/10.1093/..

4

The Naturality of Natural Deduction (II): On Atomic Polymor..:

Pistone, Paolo ; Tranchini, Luca ; Petrolo, Mattia
Studia Logica. 110 (2021) 2 - p. 545-592 , 2021

Link: https://doi.org/10.1007/..

5

What ignorance could not be:

Kubyshkina, Ekaterina ; Petrolo, Mattia
Principia: an international journal of epistemology. 24 (2020) 2 - p. , 2020

Link: https://doi.org/10.5007/..

6

The Naturality of Natural Deduction:

Tranchini, Luca ; Pistone, Paolo ; Petrolo, Mattia
Studia Logica: An International Journal for Symbolic Logic. 107 (2019) 1 - p. 195-231 , 2019

Link: https://www.jstor.org/st..

7

A logic for factive ignorance:

Kubyshkina, Ekaterina ; Petrolo, Mattia
Synthese. 198 (2019) 6 - p. 5917-5928 , 2019

Link: https://doi.org/10.1007/..

8

On Paradoxes in Normal Form:

Petrolo, Mattia ; Pistone, Paolo
Topoi. 38 (2018) 3 - p. 605-617 , 2018

Link: https://doi.org/10.1007/..

9

The Naturality of Natural Deduction:

Tranchini, Luca ; Pistone, Paolo ; Petrolo, Mattia
Studia Logica. 107 (2017) 1 - p. 195-231 , 2017

Link: https://doi.org/10.1007/..

10

Are Uniqueness and Deducibility of Identicals the Same?:

Naibo, Alberto ; Petrolo, Mattia
Theoria. 81 (2014) 2 - p. 143-181 , 2014

Link: https://doi.org/10.1111/..

11

What ignorance could not be:

Kubyshkina, Ekaterina ; Petrolo, Mattia
https://periodicos.ufsc.br/index.php/principia/article/view/70671/44654. , 2020

Link: https://periodicos.ufsc...

12

The naturality of natural deduction (II). Some remarks on a..:

Pistone, Paolo ; Tranchini, Luca ; Petrolo, Mattia
http://arxiv.org/abs/1908.11353. , 2019

Link: http://arxiv.org/abs/190..

13

The naturality of natural deduction:

Tranchini, Luca ; Pistone, Paolo ; Petrolo, Mattia
http://arxiv.org/abs/1607.06603. , 2016

Link: http://arxiv.org/abs/160..

14

On the Computational Meaning of Axioms:

Naibo, Alberto ; Petrolo, Mattia ; Seiller, Thomas
hal-00930222. , 2014

Link: https://hal.archives-ouv..

15

On the Computational Meaning of Axioms:

Naibo, Alberto ; Petrolo, Mattia ; Seiller, Thomas
hal-00930222. , 2014

Link: https://hal.science/hal-..