Cut-elimination for Weak Grzegorczyk Logic Go
Date
Authors
Gore, Rajeev
Ramanayake, Revantha
Journal Title
Journal ISSN
Volume Title
Publisher
Kluwer Academic Publishers
Abstract
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
Description
Keywords
Citation
Collections
Source
Studia Logica
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description