Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
13
0

Year Published

2005
2005
2018
2018

Publication Types

Select...
3
2

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(13 citation statements)
references
References 0 publications
0
13
0
Order By: Relevance
“…We remark that also for these logics (Dp) can be decided using purely intuitionistic extraction rules (a proof can be found in [4,7]), but the resulting algorithms are exponential in the size of the proof. We consider an interesting question to further investigate the complexity of (Dp) for these logics.…”
Section: Discussionmentioning
confidence: 99%
See 3 more Smart Citations
“…We remark that also for these logics (Dp) can be decided using purely intuitionistic extraction rules (a proof can be found in [4,7]), but the resulting algorithms are exponential in the size of the proof. We consider an interesting question to further investigate the complexity of (Dp) for these logics.…”
Section: Discussionmentioning
confidence: 99%
“…We point out that the above definition of e-rule is different from the one given in [4,5,7] where the authors consider the logical complexity of extraction calculi instead of their computational complexity.…”
Section: Preliminaries and Extraction Calculimentioning
confidence: 96%
See 2 more Smart Citations
“…In previous work (Ferrari 1997;Ferrari et al 1999a;Ferrari et al 1999b;Ferrari et al 2000) the authors have developed a method for extracting information from proofs of constructive systems that also works in cases where the usual information extraction techniques based on Normalization, Cut-elimination or Realizability cannot be applied.…”
Section: Introductionmentioning
confidence: 99%