Conference Paper/Proceeding/Abstract 885 views 197 downloads
Hyper Natural Deduction
Arnold Beckmann 
,
Norbert Preining
,
Norbert Preining
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Pages: 547 - 558
Swansea University Author:
Arnold Beckmann
-
PDF | Accepted Manuscript
Download (312.81KB)
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...
| 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 |