A Multiple-Conclusion Calculus for First-Order Godel Logic


Talk: Arnon Avron and Ori Lahav. A Multiple-Conclusion Calculus for First-Order Godel Logic
Date: Sat, 06/18/2011 - 15:45
Slides:
application/pdf iconCSR2011_June18_15_45_Avron.pdf
Submitted by kulikov on Sat, 06/18/2011 - 12:59