Tableaux'method for intuitionistic logic through S4-translation


   


examples | rules | syntax | info | home| basis of the method (in french) Last Modified : 02-May-2011