Skip navigation
The Australian National University

Cut-elimination and proof-search for bi-intutionistic logic using nested sequents

Citation

Gore, R, Postniece, L & Tiu, A 2008, 'Cut-elimination and proof-search for bi-intutionistic logic using nested sequents', Advances in Modal Logic (AiML 2008), ed. Carlos Areces and Robert Goldblatt, College Publications, United Kingdom, pp. 43-66.

Year

2008

ANU Authors

Fields of Research

  • Mathematical Logic, Set Theory, Lattices And Universal Algebra
  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

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