Skip navigation
The Australian National University

Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic

Citation

Gore, R & Postniece, L 2008, 'Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic', Journal of Logic and Computation, vol. 20, no. 1, pp. 233-260.

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:  19 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers