LJQ: a strongly focused calculus for intuitionistic logic (2006)

by Roy Dyckhoff , Stéphane Lengrand
Venue:COMPUTABILITY IN EUROPE 2006, VOLUME 3988 OF LNCS
Citations:18 - 1 self