Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic
Citation
Gore, R, Postniece, L & Tiu, A 2010, 'Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic', Advances in Modal Logic (AiML 2010), ed. Lev Beklemishev et al, College Publications, , pp. 156-177.Year
2010ANU Authors
Field of Research
- Computational Logic And Formal Languages