No Cover Image

Journal article 290 views 16 downloads

Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning / Arnold, Beckmann

Journal of Logic and Computation, Volume: 28, Issue: 6, Pages: 1125 - 1187

Swansea University Author: Arnold, Beckmann

Check full text

DOI (Published version): 10.1093/logcom/exy019

Abstract

We introduce a system of Hyper Natural Deduction for Gödel Logic as an extension of Gentzen’s system of Natural Deduction. A deduction in this system consists of a finite set of derivations which uses the typical rules of Natural Deduction, plus additional rules providing means for communication be...

Full description

Published in: Journal of Logic and Computation
ISSN: 0955-792X 1465-363X
Published: 2018
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa40432
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: We introduce a system of Hyper Natural Deduction for Gödel Logic as an extension of Gentzen’s system of Natural Deduction. A deduction in this system consists of a finite set of derivations which uses the typical rules of Natural Deduction, plus additional rules providing means for communication between derivations. We show that our system is sound and complete for infinite-valued propositional Gödel Logic, by giving translations to and from Avron’s Hypersequent Calculus. We provide conversions for normalization extending usual conversions for Natural Deduction and prove the existence of normal forms for Hyper Natural Deduction for Gödel Logic. We show that normal deductions satisfy the subformula property.
Issue: 6
Start Page: 1125
End Page: 1187