Hajime Ishihara

63 papers A* 1B 2C 1Journal 56Unranked 2

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021). Dagstuhl Reports Ingo Blechschmidt, Hajime Ishihara, Peter M. Schuster, Gabriele Buriola
2023	J	`jnl`	Extended Frames and Separations of Logical Principles. Bull. Symb. Log. Makoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki, Keita Yokoyama
2023	J	`jnl`	Reflexive combinatory algebras. J. Log. Comput. Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai
2021	J	`jnl`	Algebraic combinatory models. CoRR Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai
2021	J	`jnl`	Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472). Dagstuhl Reports Thierry Coquand, Hajime Ishihara, Sara Negri, Peter M. Schuster
2020	J	`jnl`	On the independence of premiss axiom and rule. Arch. Math. Log. Hajime Ishihara, Takako Nemoto
2019	J	`jnl`	Equivalents of the finitary non-deterministic inductive definitions. Ann. Pure Appl. Log. Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto
2019	J	`jnl`	The binary expansion and the intermediate value theorem in constructive reverse mathematics. Arch. Math. Log. Josef Berger, Hajime Ishihara, Takayuki Kihara, Takako Nemoto
2018	J	`jnl`	Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice. Arch. Math. Log. Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio, Thomas Streicher
2017	J	`jnl`	Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013. Math. Struct. Comput. Sci. Hajime Ishihara, Margarita V. Korovina, Arno Pauly, Monika Seisenberger, Dieter Spreen
2016	J	`jnl`	A note on the independence of premiss rule. Math. Log. Q. Hajime Ishihara, Takako Nemoto
2016	J	`jnl`	Embedding classical in minimal implicational logic. Math. Log. Q. Hajime Ishihara, Helmut Schwichtenberg
2015	J	`jnl`	Completeness and cocompleteness of the categories of basic pairs and concrete spaces. Math. Struct. Comput. Sci. Hajime Ishihara, Tatsuji Kawai
2015	J	`jnl`	Generalized geometric theories and set-generated classes. Math. Struct. Comput. Sci. Peter Aczel, Hajime Ishihara, Takako Nemoto, Yasushi Sangu
2015	J	`jnl`	Some principles weaker than Markov's principle. Arch. Math. Log. Makoto Fujiwara, Hajime Ishihara, Takako Nemoto
2014	J	`jnl`	Classical propositional logic and decidability of variables in intuitionistic propositional logic. Log. Methods Comput. Sci. Hajime Ishihara
2013	J	`jnl`	Relating Bishop's function spaces to neighbourhood spaces. Ann. Pure Appl. Log. Hajime Ishihara
2013	J	`jnl`	Uniformly convex Banach spaces are reflexive - constructively. Math. Log. Q. Douglas S. Bridges, Hajime Ishihara, Maarten McKubre-Jordens
2012	J	`jnl`	A predicative completion of a uniform space. Ann. Pure Appl. Log. Josef Berger, Hajime Ishihara, Erik Palmgren, Peter Schuster
2012	J	`jnl`	The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice. Reports Math. Log. Josef Berger, Hajime Ishihara, Peter Schuster
2012	J	`jnl`	The uniform boundedness theorem and a boundedness principle. Ann. Pure Appl. Log. Hajime Ishihara
2012	J	`jnl`	Two subcategories of apartness spaces. Ann. Pure Appl. Log. Hajime Ishihara
2011	J	`jnl`	On the contrapositive of countable choice. Arch. Math. Log. Hajime Ishihara, Peter Schuster
2008	J	`jnl`	A VGA 30-fps Realtime Optical-Flow Processor Core for Moving Picture Recognition. IEICE Trans. Electron. Yuichiro Murachi, Yuki Fukuyama, Ryo Yamamoto, Junichi Miyakoshi, Hiroshi Kawaguchi, Hajime Ishihara, Masayuki Miyama, Yoshio Matsuda, Masahiko Yoshimoto
2008	J	`jnl`	A continuity principle, a version of Baire's theorem and a boundedness principle. J. Symb. Log. Hajime Ishihara, Peter Schuster
2008	J	`jnl`	Apartness, compactness and nearness. Theor. Comput. Sci. Douglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta
2008	J	`jnl`	Computability and Complexity in Analysis. J. Univers. Comput. Sci. Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong
2008	J	`jnl`	Editorial: Math. Log. Quart. 5/2008. Math. Log. Q. Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong
2008	J	`jnl`	Separation properties in neighbourhood and quasi-apartness spaces. Math. Log. Q. Robin Havea, Hajime Ishihara, Luminita Vîta
2007	C	`conf`	Unique Existence and Computability in Constructive Reverse Mathematics. CiE Hajime Ishihara
2006	J	`jnl`	Binary Refinement Implies Discrete Exponentiation. Stud Logica Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster
2006	J	`jnl`	Quasi-apartness and neighbourhood spaces. Ann. Pure Appl. Log. Hajime Ishihara, Ray Mines, Peter Schuster, Luminita Vîta
2006	J	`jnl`	Quotient topologies in constructive set theory and type theory. Ann. Pure Appl. Log. Hajime Ishihara, Erik Palmgren
2006	J	`jnl`	Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof. Notre Dame J. Formal Log. Hajime Ishihara
2005	J	`jnl`	Brouwer's fan theorem and unique existence in constructive analysis. Math. Log. Q. Josef Berger, Hajime Ishihara
2005	—	`conf`	Compactness in apartness spaces? Spatial Representation Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta
2005	—	`ch.`	Constructive reverse mathematics: compactness properties. From sets and types to topology and analysis Hajime Ishihara
2005	J	`jnl`	Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges. J. Univers. Comput. Sci. Cristian S. Calude, Hajime Ishihara
2005	J	`jnl`	On constructing completions. J. Symb. Log. Laura Crosilla, Hajime Ishihara, Peter Schuster
2005	J	`jnl`	Optical Manipulation of Nano Materials under Quantum Mechanical Resonance Conditions. IEICE Trans. Electron. Takuya Iida, Hajime Ishihara
2005	J	`jnl`	Strong continuity implies uniform sequential continuity. Arch. Math. Log. Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta
2004	J	`jnl`	Compactness under constructive scrutiny. Math. Log. Q. Hajime Ishihara, Peter Schuster
2002	J	`jnl`	A Constructive Look at The Completeness of The Space D(R). J. Symb. Log. Hajime Ishihara, Satoru Yoshida
2002	B	`conf`	Compactness and Continuity, Constructively Revisited. CSL Douglas S. Bridges, Hajime Ishihara, Peter Schuster
2002	J	`jnl`	Completeness of intersection and union type assignment systems for call-by-value lambda-models. Theor. Comput. Sci. Hajime Ishihara, Toshihiko Kurata
2002	B	`conf`	Complexity of Some Infinite Games Played on Finite Graphs. WG Hajime Ishihara, Bakhadyr Khoussainov
2002	A*	`conf`	Some Results on Automatic Structures. LICS Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin
2001	J	`jnl`	Coding with Minimal Programs. Int. J. Found. Comput. Sci. Cristian Calude, Hajime Ishihara, Takeshi Yamaguchi
2001	—	`conf`	Sequentially Continuity in Constructive Mathematics. DMTCS Hajime Ishihara
2000	J	`jnl`	A Canonical Model Construction for Substructural Logics. J. Univers. Comput. Sci. Hajime Ishihara
2000	J	`jnl`	A Note on the Gödel-Gentzen Translation. Math. Log. Q. Hajime Ishihara
1999	J	`jnl`	Function algebraic characterizations of the polytime functions. Comput. Complex. Hajime Ishihara
1998	J	`jnl`	A Definitive Constructive Open Mapping Theorem? Math. Log. Q. Douglas S. Bridges, Hajime Ishihara
1998	J	`jnl`	Computable Kripke Models and Intermediate Logics. Inf. Comput. Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode
1998	J	`jnl`	Decidable Kripke Models of Intuitionistic Theories. Ann. Pure Appl. Log. Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode
1997	J	`jnl`	Effectiveness of the Completeness Theorem for an Intermediate Logic. J. Univers. Comput. Sci. Hajime Ishihara, Bakhadyr Khoussainov
1997	J	`jnl`	Sequential Continuity of Linear Mappings in Constructive Mathematics. J. Univers. Comput. Sci. Hajime Ishihara
1994	J	`jnl`	Absolute Continuity and the Uniqueness of the Constructive Functional Calculus. Math. Log. Q. Douglas S. Bridges, Hajime Ishihara
1994	J	`jnl`	Complements of Intersections in Constructive Mathematics. Math. Log. Q. Douglas S. Bridges, Hajime Ishihara
1992	J	`jnl`	Continuity Properties in Constructive Mathematics. J. Symb. Log. Hajime Ishihara
1991	J	`jnl`	Constructive Compact Operators on a Hilbert Space. Ann. Pure Appl. Log. Hajime Ishihara
1991	J	`jnl`	Continuity and Nondiscontinuity in Constructive Mathematics. J. Symb. Log. Hajime Ishihara
1990	J	`jnl`	An omniscience principle, the König Lemma and the Hahn-Banach theorem. Math. Log. Q. Hajime Ishihara