Skip navigation
Skip navigation

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

Tiu, Alwen


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

CollectionsANU Research Publications
Date published: 2011
Type: Conference paper
Source: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
DOI: 10.1007/978-3-642-22119-4_20


File Description SizeFormat Image
01_Tiu_A_Hypersequent_System_for_2011.pdf221.26 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator