No Cover Image

Conference Paper/Proceeding/Abstract 304 views 45 downloads

Hyper Natural Deduction / Arnold Beckmann; Norbert Preining

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Pages: 547 - 558

Swansea University Author: Arnold, Beckmann

DOI (Published version): 10.1109/LICS.2015.57

Abstract

Paper introduces a Hyper Natural Deduction system as an extension of Gentzen's Natural Deduction system, by adding additional rules providing means for communication between derivations. It is shown that the Hyper Natural Deduction system is sound and complete for infinite-valued propositional...

Full description

Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
Published: IEEE 2015
URI: https://cronfa.swan.ac.uk/Record/cronfa25297
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: Paper introduces a Hyper Natural Deduction system as an extension of Gentzen's Natural Deduction system, by adding additional rules providing means for communication between derivations. It is shown that the Hyper Natural Deduction system is sound and complete for infinite-valued propositional Gödel Logic, by giving translations to and from Avron's Hyper sequent Calculus. The paper also provides conversions for normalisation and prove the existence of normal forms for the Hyper Natural Deduction system.
Start Page: 547
End Page: 558