Concepedia

Mario Piazza

MP

Statistics

Publications

7

Citations

101

H-Index

7

Active since

2001

Affiliations

University of Chieti-Pescara(Current)

Universidade Estadual de Campinas (UNICAMP)

Scuola Normale Superiore

University of Ferrara

Mario Piazza is an author at University of Chieti-Pescara specializing in engineering, formal methods, and automated reasoning.

ORCID

Top concepts

Publications per year

2001–2019

7

Publications

7

Linguistic Applications of First Order Intuitionistic Linear Logic

Richard Moot, Mario Piazza · Journal of Logic Language and Information · 2001 · 25 citations

Unifying logics via context-sensitiveness

Mario Piazza, Gabriele Pulcini · Journal of Logic and Computation · 2015 · 18 citations · Full text

, , +15

A logical calculus for controlled monotonicity

Marcello D’Agostino, Mario Piazza, Gabriele Pulcini · Journal of Applied Logic · 2014 · 12 citations

, , +4

Uniqueness of axiomatic extensions of cut-free classical propositional logic

Mario Piazza, Gabriele Pulcini · Logic Journal of IGPL · 2016 · 12 citations · Full text

FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC

Mario Piazza, Gabriele Pulcini · The Review of Symbolic Logic · 2019 · 12 citations · Full text

1–5 of 7