Hajime Ishihara

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 12

Top Topics

Binary Representation

Theorem Proving

Propositional Logic

Top Venues

Arch. Math. Log.

Math. Struct. Comput. Sci.

Dagstuhl Reports

Publications

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