20 results on '"BAAZ, MATTHIAS"'
Search Results
2. Reduction and Elimination
3. Cut-Elimination by Resolution
4. CERES in Nonclassical Logics
5. Complexity of Cut-Elimination
6. Extensions of CERES
7. Introduction
8. Preliminaries
9. Related Research
10. Finite-valued Semantics for Canonical Labelled Calculi
11. Methods of Cut-Elimination
12. Extensions of CERES
13. Cut-Elimination by Resolution
14. Related Research
15. Applications of CERES
16. Introduction
17. Preface
18. Complexity of Cut-Elimination
19. Reduction and Elimination
20. CERES in Nonclassical Logics
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.