Theoremhood preserving maps characterising cut-elimination for modal provability logics
Citation
Demri, S & Gore, R 2000, 'Theoremhood preserving maps characterising cut-elimination for modal provability logics', Annual Summer Meeting of the Association for Symbolic Logic - Logic Colloquium 2000, RA Sorbonne Association for Symbolic Logic, Paris, France, p. 14.Year
2000ANU Authors
Field of Research
- Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)