Mario Piazza

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 7

Top Topics

Truth Maintenance Systems

Propositional Logic

Top Venues

Rev. Symb. Log.

Math. Struct. Comput. Sci.

J. Log. Comput.

Publications

Mario Piazza, Gabriele Pulcini, Andrea Sabatini
Abduction as Deductive Saturation: a Proof-Theoretic Inquiry. J. Philos. Log. 52 (6) (2023)
Mario Piazza, Gabriele Pulcini, Matteo Tesi
Fractional-Valued Modal Logic. Rev. Symb. Log. 16 (4) (2023)
Mario Piazza, Gabriele Pulcini
Fractional Semantics for Classical Logic. Rev. Symb. Log. 13 (4) (2020)
Mario Piazza, Nevia Dolcini
Possibilities regained: neo-Lewisian contextualism and ordinary life. Synth. 197 (11) (2020)
Anna Chiara Lai, Marco Pedicini, Mario Piazza
Abstract machines, optimal reduction, and streams. Math. Struct. Comput. Sci. 29 (9) (2019)
Mario Piazza, Gabriele Pulcini
Unifying logics via context-sensitiveness. J. Log. Comput. 27 (1) (2017)
Mario Piazza, Gabriele Pulcini
Uniqueness of axiomatic extensions of cut-free classical propositional logic. Log. J. IGPL 24 (5) (2016)
Marcello D'Agostino, Mario Piazza, Gabriele Pulcini
A logical calculus for controlled monotonicity. J. Appl. Log. 12 (4) (2014)
Giovanni Boniolo, Marcello D'Agostino, Mario Piazza, Gabriele Pulcini
A logic of non-monotonic interactions. J. Appl. Log. 11 (1) (2013)
Marco Pedicini, Mario Piazza
Elementary Complexity and von Neumann Algebras CoRR (2009)
Richard Moot, Mario Piazza
Linguistic Applications of First Order Intuitionistic Linear Logic. J. Log. Lang. Inf. 10 (2) (2001)
Mario Piazza
Exchange Rules. J. Symb. Log. 66 (2) (2001)
Maurizio Castellan, Mario Piazza
Saturated Formulas in Full Linear Logic. J. Log. Comput. 8 (5) (1998)
Mario Piazza, Maurizio Castellan
Quantales and Structural Rules. J. Log. Comput. 6 (5) (1996)