Towards Circular Proof Nets
We introduce proof-nets for non-wellfounded proofs in muMLL, that is multiplicative linear logic extended with least and greatest fixed points when infinitely long derivation banches are allowed.
We shall present preliminary results as well as ongoing work and present several open questions on which we hope to start discussions among workshop paticipants.
Sun 7 Apr (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
|13:30 - 14:00|
|14:00 - 14:30|
|14:30 - 15:00|
|15:00 - 15:30|