Tableaux'method for intuitionistic logic through S4-translation 


   

	
	    

	    
		

		
		
		

		




  

    
      examples |
      rules | 
      syntax | 
      info |
      home|
      download|
      basis of the method (in french)
    
    
      Last Modified : 17-Dec-2021