Skip navigation
The Australian National University

Dual Intuitionistic Logic Revisited

Citation

Gore, R 2000, 'Dual Intuitionistic Logic Revisited', International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX 2000), Springer, Berlin, Germany, pp. 252-267.

Year

2000

ANU Authors

Field of Research

  • Computation Theory And Mathematics Not Elsewhere Classified

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