ℹ️
🇬🇧
Search
Search for publications relevant for "Gentzen calculus"
Gentzen calculus
Publication
Class
Person
Publication
Programmes
Export current view
publication
Completeness of predicate Gentzen calculus with respect to intuitionistic Kripke semantics
2013 |
Faculty of Arts
publication
Proof systems for Moss' coalgebraic logic
2014 |
Faculty of Arts
publication
Cut elimination, identity elimination, and interpolation in super-Belnap logics
2017 |
Faculty of Arts
