A Hypersequent System for Godel-Dummett Logic with Non-constant Domains

Citation

Tiu, A 2011, 'A Hypersequent System for Godel-Dummett Logic with Non-constant Domains', International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2011), ed. Kai Brünnler, George Metcalfe, Springer, Berlin Germany, p. 15.

Year

2011

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  30 March 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers