Analytic cut and interpolation in bi-intuitionistic logic
Tomasz Kowalski (La Trobe University)

May 29, 2015, 11:00am - 1:00pm
Logic Group, The University of Melbourne

Room 532, Level 5, 757 Swanston Street
757 Swanston Street
Melbourne 3010

Topic areas


(No details have been provided for this event.)

Supporting material

Add supporting material (slides, programs, etc.)




Who is attending?

1 person is attending:

University of Melbourne

See all

Will you attend this event?

Let us know so we can notify you of any change of plan.

This event has been submitted and is maintained by:

(University of Melbourne)

You should login and contact this user if you believe the information on this page needs updating.

If you judge that this event entry is inappropriate, please login and report it.