×
Edit Profile (opens in new tab)

Petrolo, Mattia

Co-Author Distance
Author ID: petrolo.mattia Recent zbMATH articles by "Petrolo, Mattia"
Published as: Petrolo, Mattia
Documents Indexed: 12 Publications since 2011, including 1 Additional arXiv Preprint
Co-Authors: 7 Co-Authors with 10 Joint Publications
43 Co-Co-Authors
all top 5

Co-Authors

1 single-authored
5 Pistone, Paolo
4 Kubyshkina, Ekaterina
3 Tranchini, Luca
1 Gilbert, David Robert
1 Miglioretti, F.
1 Naibo, Alberto
1 Seiller, Thomas
1 Venturi, Giorgio
all top 5

Serials

2 Studia Logica
1 Logique et Analyse. Nouvelle Série
1 Synthese
1 Logic Journal of the IGPL
1 Topoi
1 Logica Universalis
1 International Journal for Computational Methods in Engineering Science and Mechanics

Fields

11 Mathematical logic and foundations (03-XX)
1 Mechanics of deformable solids (74-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

7 Publications have been cited 19 times in 16 Documents Cited by ▼ Year ▼
Guidelines and recommendations on the use of higher order finite elements for bending analysis of plates. Zbl 1448.74064
Carrera, E.; Miglioretti, F.; Petrolo, M.
9
2011
The naturality of natural deduction. Zbl 1531.03092
Tranchini, Luca; Pistone, Paolo; Petrolo, Mattia
8
2019
On paradoxes in normal form. Zbl 1428.03073
Petrolo, Mattia; Pistone, Paolo
4
2019
A logic for factive ignorance. Zbl 1507.03073
Kubyshkina, Ekaterina; Petrolo, Mattia
3
2021
Verificationism and classical realizability. Zbl 1439.03097
Naibo, Alberto; Petrolo, Mattia; Seiller, Thomas
2
2016
Logics of ignorance and being wrong. Zbl 1499.03014
Gilbert, David; Kubyshkina, Ekaterina; Petrolo, Mattia; Venturi, Giorgio
1
2022
The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives. Zbl 07496502
Pistone, Paolo; Tranchini, Luca; Petrolo, Mattia
1
2022
Logics of ignorance and being wrong. Zbl 1499.03014
Gilbert, David; Kubyshkina, Ekaterina; Petrolo, Mattia; Venturi, Giorgio
1
2022
The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives. Zbl 07496502
Pistone, Paolo; Tranchini, Luca; Petrolo, Mattia
1
2022
A logic for factive ignorance. Zbl 1507.03073
Kubyshkina, Ekaterina; Petrolo, Mattia
3
2021
The naturality of natural deduction. Zbl 1531.03092
Tranchini, Luca; Pistone, Paolo; Petrolo, Mattia
8
2019
On paradoxes in normal form. Zbl 1428.03073
Petrolo, Mattia; Pistone, Paolo
4
2019
Verificationism and classical realizability. Zbl 1439.03097
Naibo, Alberto; Petrolo, Mattia; Seiller, Thomas
2
2016
Guidelines and recommendations on the use of higher order finite elements for bending analysis of plates. Zbl 1448.74064
Carrera, E.; Miglioretti, F.; Petrolo, M.
9
2011
all cited Publications top 5 cited Publications
all top 5

Cited by 21 Authors

4 Pistone, Paolo
3 Tranchini, Luca
2 Kahle, Reinhard
2 Petrolo, Mattia
2 Schroeder-Heister, Peter Joseph
1 Bonzio, Stefano
1 Catta, Davide
1 Fan, Jie
1 Fano, Vincenzo
1 Ferreira, Gilda
1 Graziani, Pierluigi
1 Gutierrez, Julian
1 Kubyshkina, Ekaterina
1 Piccolomini d’Aragona, Antonio
1 Piecha, Thomas
1 Pra Baldi, Michele
1 Protin, M. Clarence
1 Ripley, David
1 Santos, Paulo Guilherme
1 Tennant, Neil W.
1 van Dijk, Emma
all top 5

Cited in 7 Serials

3 Journal of Philosophical Logic
3 Studia Logica
1 Synthese
1 Bulletin of the Section of Logic
1 The Bulletin of Symbolic Logic
1 Logica Universalis
1 Logical Methods in Computer Science

Cited in 4 Fields

16 Mathematical logic and foundations (03-XX)
3 General and overarching topics; collections (00-XX)
2 History and biography (01-XX)
1 Computer science (68-XX)

Citations by Year