Duccio Luchi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1999

2 Duccio Luchi, Franco Montagna: An Operational Logic of Proofs with Positive and Negative Information. Studia Logica 63(1): 7-25 (1999)

1997

1 Agata Ciabattoni, Duccio Luchi: Two Connections Between Linear Logic and Lukasiewicz Logics. Kurt Gödel Colloquium 1997: 128-139

	1999
2		Duccio Luchi, Franco Montagna: An Operational Logic of Proofs with Positive and Negative Information. Studia Logica 63(1): 7-25 (1999)
	1997
1		Agata Ciabattoni, Duccio Luchi: Two Connections Between Linear Logic and Lukasiewicz Logics. Kurt Gödel Colloquium 1997: 128-139

Coauthor Index