research
          
      
      ∙
      04/01/2022
    Sequent calculi of finite dimension
In recent work, the authors introduced the notion of n-dimensional Boole...
          
            research
          
      
      ∙
      06/18/2018
     
            
Use your Google Account to sign in to DeepAI