8 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.LO2021
Reflexive combinatory algebras
Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai
We introduce the notion of reflexivity for combinatory algebras. Reflexivity can be thought of as an equational counterpart of the Meyer-Scott axiom of combinatory models, which in…
math.LO2019
Equivalents of the finitary non-deterministic inductive definitions
Ayana Hirata, Hajime Ishihara, Tatsuji Kawai +1
We present statements equivalent to some fragments of the principle of non-deterministic inductive definitions (NID) by van den Berg (2013), working in a weak subsystem of construc…
math.LO2014★ 8 cited
Classical propositional logic and decidability of variables in intuitionistic propositional logic
Hajime Ishihara
We improve the answer to the question: what set of excluded middles for propositional variables in a formula suffices to prove the formula in intuitionistic propositional logic whe…