4 found
Order:
  1.  42
    Algebraic Aspects of Cut Elimination.Francesco Belardinelli, Peter Jipsen & Hiroakira Ono - 2004 - Studia Logica 77 (2):209 - 240.
    We will give here a purely algebraic proof of the cut elimination theorem for various sequent systems. Our basic idea is to introduce mathematical structures, called Gentzen structures, for a given sequent system without cut, and then to show the completeness of the sequent system without cut with respect to the class of algebras for the sequent system with cut, by using the quasi-completion of these Gentzen structures. It is shown that the quasi-completion is a generalization of the MacNeille completion. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  2.  2
    Second-Order Propositional Modal Logic: Expressiveness and Completeness Results.Francesco Belardinelli, Wiebe van der Hoek & Louwe B. Kuijer - 2018 - Artificial Intelligence 263:3-45.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  2
    Strategic Reasoning with a Bounded Number of Resources: The Quest for Tractability.Francesco Belardinelli & Stéphane Demri - 2021 - Artificial Intelligence 300:103557.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  2
    Verification of Multi-Agent Systems with Public Actions Against Strategy Logic.Francesco Belardinelli, Alessio Lomuscio, Aniello Murano & Sasha Rubin - 2020 - Artificial Intelligence 285:103302.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark