Article
        
        
            
                    
        Open Access
    
                
        
        
            
            
                
            
            
            
            
            
            
        
    
    
    The Basics of Display Calculi
- 
            
            
        Tim Lyon
        
                            Published/Copyright:
                            
                                September 1, 2022
                            
                        
                    
                
            
  Published Online: 2022-09-01
 
 
  Published in Print: 2017-07-01
 
© 2022 by Walter de Gruyter Berlin/Boston
Articles in the same Issue
- Contents
- Expressives, Majoratives, and Ineffability
- Another Counterexample to Markov Causation from Quantum Mechanics: Single Photon Experiments and the Mach-Zehnder Interferometer
- The Value Problem in Allen's Non-Adaptive Understanding of Knowledge
- The Basics of Display Calculi
- Conference Report: SOPhiA 2017
Keywords for this article
                        
                            Display calculi;
                        
                            Sequents;
                        
                            Structural proof theory;
                        
                            Cut elimination
                        
                    Creative Commons
                                
                                    BY 4.0
                                
                            Articles in the same Issue
- Contents
- Expressives, Majoratives, and Ineffability
- Another Counterexample to Markov Causation from Quantum Mechanics: Single Photon Experiments and the Mach-Zehnder Interferometer
- The Value Problem in Allen's Non-Adaptive Understanding of Knowledge
- The Basics of Display Calculi
- Conference Report: SOPhiA 2017