Skip navigation
Skip navigation

Cut-elimination for Weak Grzegorczyk Logic Go

Gore, Rajeev; Ramanayake, Revantha

Description

We present a syntactic proof of cut-elimination for weak Grzegorczyk logic Go. The logic has a syntactically similar axiomatisation to Gödel-Löb logic GL (provability logic) and Grzegorczyk's logic Grz. Semantically, GL can be viewed as the irreflexive

CollectionsANU Research Publications
Date published: 2014
Type: Journal article
URI: http://hdl.handle.net/1885/81454
Source: Studia Logica
DOI: 10.1007/s11225-012-9432-9

Download

File Description SizeFormat Image
01_Gore_Cut-elimination_for_Weak_2014.pdf358.25 kBAdobe 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