Cut-elimination in RM Proved Semantically.

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)605-621
Number of pages17
JournalThe IfCoLog Journal of Logics and their Applications
Volume4
Issue number3
StatePublished - Apr 2017

Cite this