-
9Natural deduction calculi for classical and intuitionistic S5Journal of Applied Non-Classical Logics 33 (2): 165-205. 2023.1. It is a fact that developing a good proof theory for modal logics is a difficult task. The problem is not in having deductive systems. In fact, all the main modal logics enjoy an axiomatic prese...
-
50Proof nets and the lambda-calculusIn Thomas Ehrhard (ed.), Linear Logic in Computer Science, Cambridge University Press. pp. 316--65. 2004.
-
7An analysis of exponentials based on extended sequentsLogic Journal of the IGPL 6 (5): 735-754. 1998.We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Light Linear Logic. In particular, the 2-sequent approach simplifies the syntax of Light and Elementary Linear Logic