Login / Signup
Duccio Luchi
Publication Activity (10 Years)
Years Active: 1997-1999
Publications (10 Years): 0
</>
Publications
</>
Duccio Luchi
,
Franco Montagna
An Operational Logic of Proofs with Positive and Negative Information.
Stud Logica
63 (1) (1999)
Agata Ciabattoni
,
Duccio Luchi
Two Connections Between Linear Logic and Lukasiewicz Logics.
Kurt Gödel Colloquium
(1997)