7 citations · 28 across the 26 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.OC2020★ 3 cited
Quantitative analysis of a subgradient-type method for equilibrium problems
Nicholas Pischke, Ulrich Kohlenbach
We use techniques originating from the subdiscipline of mathematical logic called `proof mining' to provide rates of metastability and - under a metric regularity assumption - rate…
math.LO2020
On Intermediate Justification Logics
Nicholas Pischke
We study abstract intermediate justification logics, that is arbitrary intermediate propositional logics extended with a subset of specific axioms of (classical) justification logi…