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
2011ANU Authors
Field of Research
- Artificial Intelligence And Image Processing Not Elsewhere Classified