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
2008ANU Authors
Fields of Research
- Mathematical Logic, Set Theory, Lattices And Universal Algebra
- Computational Logic And Formal Languages
- Computation Theory And Mathematics Not Elsewhere Classified