2 citations · 4 across the 3 of their papers we have counts for
4 papers · 1 filter
A systematic way of analysing proofs in probability theory
Morenikeji Neri, Paulo Oliva, Nicholas Pischke
Over extended systems of finite type arithmetic, we utilize a formal representation of the outer measure to define a translation which allows for the systematic formalization of pr…
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…
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…