2 citations · 4 across the 3 of their papers we have counts for
4 papers
Logical metatheorems for accretive and (generalized) monotone set-valued operators
Nicholas Pischke
Accretive and monotone operator theory are central branches of nonlinear functional analysis and constitute the abstract study of set-valued mappings between function spaces. This…
Quantitative results on algorithms for zeros of differences of monotone operators in Hilbert space
Nicholas Pischke
We provide quantitative information in the form of a rate of metastability in the sense of T. Tao and (under a metric regularity assumption) a rate of convergence for an algorithm…
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…
Standard Gödel modal logics are not realized by Gödel justification logics
Nicholas Pischke
We show that the standard Gödel modal logics, as initially introduced by Caicedo and Rodriguez in \cite{CR2009,CR2010}, are not realized by the basic Gödel justification logics alt…