Mario Piazza

Orcid: 0000-0002-9545-3912

According to our database1, Mario Piazza authored at least 21 papers between 1996 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
A unified framework for Input/Output and default logics via hypersequents.
J. Log. Comput., 2026

2025
A logic for default deontic reasoning.
CoRR, December, 2025

Exception and typicality, logically framed.
J. Log. Lang. Inf., October, 2025

Hypersequent Calculi for Propositional Default Logics.
ACM Trans. Comput. Log., July, 2025

Analyticity with extra-logical information.
J. Log. Comput., 2025

2024
Non-contractive Logics, Paradoxes, and multiplicative Quantifiers.
Rev. Symb. Log., 2024

Linear logic in a refutational setting.
J. Log. Comput., 2024

2023
Fractional-Valued Modal Logic.
Rev. Symb. Log., December, 2023

Abduction as Deductive Saturation: a Proof-Theoretic Inquiry.
J. Philos. Log., December, 2023

2020
Possibilities regained: neo-Lewisian contextualism and ordinary life.
Synth., 2020

Fractional Semantics for Classical Logic.
Rev. Symb. Log., 2020

2019
Abstract machines, optimal reduction, and streams.
Math. Struct. Comput. Sci., 2019

2017
Unifying logics via context-sensitiveness.
J. Log. Comput., 2017

2016
Uniqueness of axiomatic extensions of cut-free classical propositional logic.
Log. J. IGPL, 2016

2014
A logical calculus for controlled monotonicity.
J. Appl. Log., 2014

2013
A logic of non-monotonic interactions.
J. Appl. Log., 2013

2009
Elementary Complexity and von Neumann Algebras
CoRR, 2009

2001
Exchange Rules.
J. Symb. Log., 2001

Linguistic Applications of First Order Intuitionistic Linear Logic.
J. Log. Lang. Inf., 2001

1998
Saturated Formulas in Full Linear Logic.
J. Log. Comput., 1998

1996
Quantales and Structural Rules.
J. Log. Comput., 1996


  Loading...