Cut-elimination for Weak Grzegorczyk Logic Go

Citation

Gore, R & Ramanayake, R 2014, 'Cut-elimination for Weak Grzegorczyk Logic Go', Studia Logica, vol. 102, no. 1, pp. 1-27.

Year

2014

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  20 April 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers