Tableaux'method for intuitionistic logic through S4-translation


   


examples | rules | syntax | info | home| download| basis of the method (in french) Last Modified : 19-Jan-2018