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

Date

Authors

Tiu, Alwen

Publisher

Springer

Abstract

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

Keywords

Axiomatic system, Cut elimination, Domain properties, First-order, Formalisation, Hilbert, Hyper-sequent systems, Hypersequents, Intuitionistic logic, Kripke frames, Calculations, Problem solving, Automata theory

URI

http://hdl.handle.net/1885/39445

Collections

ANU Research Publications

Source

International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)

Type

Conference paper

DOI

10.1007/978-3-642-22119-4_20

Restricted until

2037-12-31

Downloads

File

Description

01_Tiu_A_Hypersequent_System_for_2011.pdf (221.26 KB)