2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science 2015
DOI: 10.1109/lics.2015.57
|View full text |Cite
|
Sign up to set email alerts
|

Hyper Natural Deduction

Abstract: We introduce a Hyper Natural Deduction system as an extension of Gentzen's Natural Deduction system. A Hyper Natural Deduction consists of a finite set of derivations which may use, beside typical Natural Deduction rules, additional rules providing means for communication between derivations. We show that our Hyper Natural Deduction system is sound and complete for infinite-valued propositional Gödel Logic, by giving translations to and from Avron's Hypersequent Calculus. We also provide conversions for normal… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
5

Citation Types

0
13
0

Year Published

2017
2017
2020
2020

Publication Types

Select...
4
1

Relationship

1
4

Authors

Journals

citations
Cited by 7 publications
(13 citation statements)
references
References 28 publications
0
13
0
Order By: Relevance
“…Observe that for a different cut (indicated by double backslashes) the deduction in Fig. 1 would not be correct according to [BP15]. We conjecture that the version presented in [BP15] is correct if we demand that its conditions are satisfied for any possible cut operation.…”
Section: Differences To Previous Versionmentioning
confidence: 96%
See 4 more Smart Citations
“…Observe that for a different cut (indicated by double backslashes) the deduction in Fig. 1 would not be correct according to [BP15]. We conjecture that the version presented in [BP15] is correct if we demand that its conditions are satisfied for any possible cut operation.…”
Section: Differences To Previous Versionmentioning
confidence: 96%
“…The results in this paper were first announced in [BP15]. However, there are several changes: First of all, we have switched to an inductive definition of HNGL, and we introduce the previous explicit definition as an equivalent alternative definition needed to prove normalization -in this paper we denote the alternative, explicit definition with X .…”
Section: Differences To Previous Versionmentioning
confidence: 99%
See 3 more Smart Citations