Two Connections Between Linear Logic and Lukasiewicz Logics. - Agata Ciabattoni; Duccio Luchi (Kurt Gödel Colloquium, 1997)

An Operational Logic of Proofs with Positive and Negative Information. - Duccio Luchi; Franco Montagna (Stud Logica, 1999)