The Method of Tree-Hypersequents for Modal Propositional Logic

Back to previous page
Send link

Article

    • Pages: 31 to 52
    •  
    •  
    • ISBN: 978-1-4020-9083-7
    •  
    • Creation date: 04-01-2011
    • Last update: 02-11-2015

    Abstract

    Anglais

    Introduction; – The Calculi CSK*; – Admissibility of the Structural Rules; – The Adequateness of the Calculi; – Cut-Elimination Theorem for CSK*; – Conclusions and Further Work.

    Keywords

    Méthode