Tableaux'method for intuitionistic logic through S4-translation


   


examples | rules | syntax | info | home| download| basis of the method (in french) Last Modified : 20-Nov-2019