A Hypersequent System for Godel-Dummett Logic with Non-constant Domains
Description
Gödel-Dummett logic is an extension of first-order intuitionistic logic with the linearity axiom (A ⊃ B) V (B ⊃ A), and the so-called "quantifier shift" axiom ∀x (A V B(xx)) ⊃ A V ∀xB(x). Semantically, it can be characterised as a logic for lin
| Collections | ANU Research Publications |
|---|---|
| Date published: | 2011 |
| Type: | Conference paper |
| URI: | http://hdl.handle.net/1885/39445 |
| Source: | International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) |
| DOI: | 10.1007/978-3-642-22119-4_20 |
Download
| File | Description | Size | Format | Image |
|---|---|---|---|---|
| 01_Tiu_A_Hypersequent_System_for_2011.pdf | 221.26 kB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 20 July 2017/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator
+61 2 6125 5111
The Australian National University, Canberra
CRICOS Provider : 00120C
ABN : 52 234 063 906
