Work in progress:

• Leonardo Ceragioli and Camillo Fiore, Formula-formula sequent calculi for classical and (dual) intuitionistic logic
• Leonardo Ceragioli, Francesco Montesi, Antonio Piccolomini d'Aragona, From semantics to rules and back: a survey of two strands in proof-theoretic semantics
• Leonardo Ceragioli, Giuseppe Primiero, A proof-theoretic approach to fairness
• Leonardo Ceragioli, Proof-Theoretic Semantics, Meaning-Dependence and Pluralism (Book)