3 citations · 3 across the 2 of their papers we have counts for
2 papers
math.LO2022★ 3 cited
Non-contractive logics, Paradoxes, and Multiplicative Quantifiers
Carlo Nicolai, Mario Piazza, Matteo Tesi
The paper investigates from a proof-theoretic perspective various non-contractive logical systems circumventing logical and semantic paradoxes. Until recently, such systems only di…
cs.CC2009
Elementary Complexity and von Neumann Algebras
Marco Pedicini, Mario Piazza
In this paper, we show how a construction of an implicit complexity model can be implemented using concepts coming from the core of von Neumann algebras. Namely, our aim is to gain…