PDF-Craig Interpolation in Displayable Logics James Brothe
of Computing Imperial College London JBrotherstonimperialacuk School of Computer Science ANU Canberra RajeevGoreanueduau Abstract We give a general prooftheoretic
Download Presentation
Download Note : "Craig Interpolation in Displayable Logics James Brothe" is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.