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

Field of Research

  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)

Updated:  28 March 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers