No Cover Image

Conference Paper/Proceeding/Abstract 885 views 197 downloads

Hyper Natural Deduction

Arnold Beckmann Orcid Logo, Norbert Preining

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

Swansea University Author: Arnold Beckmann Orcid Logo

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!
first_indexed 2016-01-03T01:55:54Z
last_indexed 2018-04-24T19:15:11Z
id cronfa25297
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2018-04-24T12:52:52.5099776</datestamp><bib-version>v2</bib-version><id>25297</id><entry>2016-01-02</entry><title>Hyper Natural Deduction</title><swanseaauthors><author><sid>1439ebd690110a50a797b7ec78cca600</sid><ORCID>0000-0001-7958-5790</ORCID><firstname>Arnold</firstname><surname>Beckmann</surname><name>Arnold Beckmann</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2016-01-02</date><deptcode>SCS</deptcode><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 Go&#x308;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.</abstract><type>Conference Paper/Proceeding/Abstract</type><journal>2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science</journal><paginationStart>547</paginationStart><paginationEnd>558</paginationEnd><publisher>IEEE</publisher><keywords/><publishedDay>6</publishedDay><publishedMonth>7</publishedMonth><publishedYear>2015</publishedYear><publishedDate>2015-07-06</publishedDate><doi>10.1109/LICS.2015.57</doi><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2018-04-24T12:52:52.5099776</lastEdited><Created>2016-01-02T20:03:35.8009863</Created><authors><author><firstname>Arnold</firstname><surname>Beckmann</surname><orcid>0000-0001-7958-5790</orcid><order>1</order></author><author><firstname>Norbert</firstname><surname>Preining</surname><order>2</order></author></authors><documents><document><filename>0025297-02012016202625.pdf</filename><originalFilename>beckmann-preining-lics2015.pdf</originalFilename><uploaded>2016-01-02T20:26:25.5670000</uploaded><type>Output</type><contentLength>268618</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2016-07-06T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2018-04-24T12:52:52.5099776 v2 25297 2016-01-02 Hyper Natural Deduction 1439ebd690110a50a797b7ec78cca600 0000-0001-7958-5790 Arnold Beckmann Arnold Beckmann true false 2016-01-02 SCS 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. Conference Paper/Proceeding/Abstract 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science 547 558 IEEE 6 7 2015 2015-07-06 10.1109/LICS.2015.57 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2018-04-24T12:52:52.5099776 2016-01-02T20:03:35.8009863 Arnold Beckmann 0000-0001-7958-5790 1 Norbert Preining 2 0025297-02012016202625.pdf beckmann-preining-lics2015.pdf 2016-01-02T20:26:25.5670000 Output 268618 application/pdf Accepted Manuscript true 2016-07-06T00:00:00.0000000 true
title Hyper Natural Deduction
spellingShingle Hyper Natural Deduction
Arnold Beckmann
title_short Hyper Natural Deduction
title_full Hyper Natural Deduction
title_fullStr Hyper Natural Deduction
title_full_unstemmed Hyper Natural Deduction
title_sort Hyper Natural Deduction
author_id_str_mv 1439ebd690110a50a797b7ec78cca600
author_id_fullname_str_mv 1439ebd690110a50a797b7ec78cca600_***_Arnold Beckmann
author Arnold Beckmann
author2 Arnold Beckmann
Norbert Preining
format Conference Paper/Proceeding/Abstract
container_title 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
container_start_page 547
publishDate 2015
institution Swansea University
doi_str_mv 10.1109/LICS.2015.57
publisher IEEE
document_store_str 1
active_str 0
description 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.
published_date 2015-07-06T03:30:10Z
_version_ 1763751189695954944
score 11.014291

Similar Items