A cut-free sequent calculus for bi-intuitionistic logic

Citation

Postniece, L & Gore, R 2007, 'A cut-free sequent calculus for bi-intuitionistic logic', International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2007), ed. Olivetti, Nicola, Springer, Berlin, pp. 90-106.

Year

2007

ANU Authors

Fields of Research

  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)
  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

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