Mario Piazza

According to our database, Mario Piazza authored at least 18 papers between 1996 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Hypersequent Calculi for Propositional Default Logics.

Mario Piazza, Andrea Sabatini

ACM Trans. Comput. Log., July, 2025

Analyticity with extra-logical information.

Mario Piazza, Matteo Tesi

J. Log. Comput., 2025

2024

Non-contractive Logics, Paradoxes, and multiplicative Quantifiers.

Carlo Nicolai, Mario Piazza, Matteo Tesi

Rev. Symb. Log., 2024

Linear logic in a refutational setting.

Mario Piazza, Gabriele Pulcini, Matteo Tesi

J. Log. Comput., 2024

2023

Fractional-Valued Modal Logic.

Mario Piazza, Gabriele Pulcini, Matteo Tesi

Rev. Symb. Log., December, 2023

Abduction as Deductive Saturation: a Proof-Theoretic Inquiry.

Mario Piazza, Gabriele Pulcini, Andrea Sabatini

J. Philos. Log., December, 2023

2020

Possibilities regained: neo-Lewisian contextualism and ordinary life.

Mario Piazza, Nevia Dolcini

Synth., 2020

Fractional Semantics for Classical Logic.

Mario Piazza, Gabriele Pulcini

Rev. Symb. Log., 2020

2019

Abstract machines, optimal reduction, and streams.

Anna Chiara Lai, Marco Pedicini, Mario Piazza

Math. Struct. Comput. Sci., 2019

2017

Unifying logics via context-sensitiveness.

Mario Piazza, Gabriele Pulcini

J. Log. Comput., 2017

2016

Uniqueness of axiomatic extensions of cut-free classical propositional logic.

Mario Piazza, Gabriele Pulcini

Log. J. IGPL, 2016

2014

A logical calculus for controlled monotonicity.

Marcello D'Agostino, Mario Piazza, Gabriele Pulcini

J. Appl. Log., 2014

2013

A logic of non-monotonic interactions.

Giovanni Boniolo, Marcello D'Agostino, Mario Piazza, Gabriele Pulcini

J. Appl. Log., 2013

2009

Elementary Complexity and von Neumann Algebras

Marco Pedicini, Mario Piazza

CoRR, 2009

2001

Exchange Rules.

Mario Piazza

J. Symb. Log., 2001

Linguistic Applications of First Order Intuitionistic Linear Logic.

Richard Moot, Mario Piazza

J. Log. Lang. Inf., 2001

1998

Saturated Formulas in Full Linear Logic.

Maurizio Castellan, Mario Piazza

J. Log. Comput., 1998

1996

Quantales and Structural Rules.

Mario Piazza, Maurizio Castellan

J. Log. Comput., 1996