Tableaux'method for intuitionistic logic through S4-translation 


   

	
	    

	    
		

		
		
		

		




  

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