Section: Dissemination
Evaluation
Dale Miller has been on the PhD jury for the following three students:
Team
Parsifal
Overall Objectives
Scientific Foundations
Application Domains
New Results
- A logic for reasoning about logic specifications
- Two level of logic
- New insights into -quantification
- Foundational aspects of focusing proof systems
- A completely symmetric approach to proof and refutation
- Subexponentials
- A framework for proof systems
- Modular Systems for Modal Logics
- Generic cut-elimination for Substructural Logics
- A Kleene Theorem for Forest Languages
- Computation with meta-variables
- Encoding constrained transition systems
- Cut-elimination in classical logic
Other Grants and Activities
Bibliography