Mario Piazza - RankMe

21 papers Journal 21

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A unified framework for Input/Output and default logics via hypersequents. J. Log. Comput. Mario Piazza, Andrea Sabatini
2025	J	`jnl`	A logic for default deontic reasoning. CoRR Mario Piazza, Andrea Sabatini
2025	J	`jnl`	Analyticity with extra-logical information. J. Log. Comput. Mario Piazza, Matteo Tesi
2025	J	`jnl`	Exception and typicality, logically framed. J. Log. Lang. Inf. Mario Piazza, Matteo Tesi
2025	J	`jnl`	Hypersequent Calculi for Propositional Default Logics. ACM Trans. Comput. Log. Mario Piazza, Andrea Sabatini
2024	J	`jnl`	Linear logic in a refutational setting. J. Log. Comput. Mario Piazza, Gabriele Pulcini, Matteo Tesi
2024	J	`jnl`	Non-contractive Logics, Paradoxes, and multiplicative Quantifiers. Rev. Symb. Log. Carlo Nicolai, Mario Piazza, Matteo Tesi
2023	J	`jnl`	Abduction as Deductive Saturation: a Proof-Theoretic Inquiry. J. Philos. Log. Mario Piazza, Gabriele Pulcini, Andrea Sabatini
2023	J	`jnl`	Fractional-Valued Modal Logic. Rev. Symb. Log. Mario Piazza, Gabriele Pulcini, Matteo Tesi
2020	J	`jnl`	Fractional Semantics for Classical Logic. Rev. Symb. Log. Mario Piazza, Gabriele Pulcini
2020	J	`jnl`	Possibilities regained: neo-Lewisian contextualism and ordinary life. Synth. Mario Piazza, Nevia Dolcini
2019	J	`jnl`	Abstract machines, optimal reduction, and streams. Math. Struct. Comput. Sci. Anna Chiara Lai, Marco Pedicini, Mario Piazza
2017	J	`jnl`	Unifying logics via context-sensitiveness. J. Log. Comput. Mario Piazza, Gabriele Pulcini
2016	J	`jnl`	Uniqueness of axiomatic extensions of cut-free classical propositional logic. Log. J. IGPL Mario Piazza, Gabriele Pulcini
2014	J	`jnl`	A logical calculus for controlled monotonicity. J. Appl. Log. Marcello D'Agostino, Mario Piazza, Gabriele Pulcini
2013	J	`jnl`	A logic of non-monotonic interactions. J. Appl. Log. Giovanni Boniolo, Marcello D'Agostino, Mario Piazza, Gabriele Pulcini
2009	J	`jnl`	Elementary Complexity and von Neumann Algebras CoRR Marco Pedicini, Mario Piazza
2001	J	`jnl`	Exchange Rules. J. Symb. Log. Mario Piazza
2001	J	`jnl`	Linguistic Applications of First Order Intuitionistic Linear Logic. J. Log. Lang. Inf. Richard Moot, Mario Piazza
1998	J	`jnl`	Saturated Formulas in Full Linear Logic. J. Log. Comput. Maurizio Castellan, Mario Piazza
1996	J	`jnl`	Quantales and Structural Rules. J. Log. Comput. Mario Piazza, Maurizio Castellan