Skip navigation
The Australian National University

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

2000

ANU Authors

Field of Research

  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)

Updated:  19 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers