Hajime Ishihara

According to our database, Hajime Ishihara authored at least 63 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021).

Ingo Blechschmidt, Hajime Ishihara, Peter M. Schuster, Gabriele Buriola

Dagstuhl Reports, 2024

2023

Extended Frames and Separations of Logical Principles.

Makoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki, Keita Yokoyama

Bull. Symb. Log., September, 2023

Reflexive combinatory algebras.

Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai

J. Log. Comput., July, 2023

2021

Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472).

Thierry Coquand, Hajime Ishihara, Sara Negri, Peter M. Schuster

Dagstuhl Reports, 2021

Algebraic combinatory models.

Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai

CoRR, 2021

2020

On the independence of premiss axiom and rule.

Hajime Ishihara, Takako Nemoto

Arch. Math. Log., 2020

2019

Equivalents of the finitary non-deterministic inductive definitions.

Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto

Ann. Pure Appl. Log., 2019

The binary expansion and the intermediate value theorem in constructive reverse mathematics.

Josef Berger, Hajime Ishihara, Takayuki Kihara, Takako Nemoto

Arch. Math. Log., 2019

2018

Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice.

Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio, Thomas Streicher

Arch. Math. Log., 2018

2017

Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013.

Hajime Ishihara, Margarita V. Korovina, Arno Pauly, Monika Seisenberger, Dieter Spreen

Math. Struct. Comput. Sci., 2017

2016

Embedding classical in minimal implicational logic.

Hajime Ishihara, Helmut Schwichtenberg

Math. Log. Q., 2016

A note on the independence of premiss rule.

Hajime Ishihara, Takako Nemoto

Math. Log. Q., 2016

2015

Completeness and cocompleteness of the categories of basic pairs and concrete spaces.

Hajime Ishihara, Tatsuji Kawai

Math. Struct. Comput. Sci., 2015

Generalized geometric theories and set-generated classes.

Peter Aczel, Hajime Ishihara, Takako Nemoto, Yasushi Sangu

Math. Struct. Comput. Sci., 2015

Some principles weaker than Markov's principle.

Makoto Fujiwara, Hajime Ishihara, Takako Nemoto

Arch. Math. Log., 2015

2014

Classical propositional logic and decidability of variables in intuitionistic propositional logic.

Hajime Ishihara

Log. Methods Comput. Sci., 2014

2013

Uniformly convex Banach spaces are reflexive - constructively.

Douglas S. Bridges, Hajime Ishihara, Maarten McKubre-Jordens

Math. Log. Q., 2013

Relating Bishop's function spaces to neighbourhood spaces.

Hajime Ishihara

Ann. Pure Appl. Log., 2013

2012

The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice.

Josef Berger, Hajime Ishihara, Peter Schuster

Reports Math. Log., 2012

The uniform boundedness theorem and a boundedness principle.

Hajime Ishihara

Ann. Pure Appl. Log., 2012

Two subcategories of apartness spaces.

Hajime Ishihara

Ann. Pure Appl. Log., 2012

A predicative completion of a uniform space.

Josef Berger, Hajime Ishihara, Erik Palmgren, Peter Schuster

Ann. Pure Appl. Log., 2012

2011

On the contrapositive of countable choice.

Hajime Ishihara, Peter Schuster

Arch. Math. Log., 2011

2008

Apartness, compactness and nearness.

Douglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta

Theor. Comput. Sci., 2008

Separation properties in neighbourhood and quasi-apartness spaces.

Robin Havea, Hajime Ishihara, Luminita Vîta

Math. Log. Q., 2008

Editorial: Math. Log. Quart. 5/2008.

Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong

Math. Log. Q., 2008

Computability and Complexity in Analysis.

Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong

J. Univers. Comput. Sci., 2008

A continuity principle, a version of Baire's theorem and a boundedness principle.

Hajime Ishihara, Peter Schuster

J. Symb. Log., 2008

A VGA 30-fps Realtime Optical-Flow Processor Core for Moving Picture Recognition.

Yuichiro Murachi, Yuki Fukuyama, Ryo Yamamoto, Junichi Miyakoshi, Hiroshi Kawaguchi, Hajime Ishihara, Masayuki Miyama, Yoshio Matsuda, Masahiko Yoshimoto

IEICE Trans. Electron., 2008

2007

Unique Existence and Computability in Constructive Reverse Mathematics.

Hajime Ishihara

Proceedings of the Computation and Logic in the Real World, 2007

2006

Binary Refinement Implies Discrete Exponentiation.

Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster

Stud Logica, 2006

Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.

Hajime Ishihara

Notre Dame J. Formal Log., 2006

Quotient topologies in constructive set theory and type theory.

Hajime Ishihara, Erik Palmgren

Ann. Pure Appl. Log., 2006

Quasi-apartness and neighbourhood spaces.

Hajime Ishihara, Ray Mines, Peter Schuster, Luminita Vîta

Ann. Pure Appl. Log., 2006

2005

Brouwer's fan theorem and unique existence in constructive analysis.

Josef Berger, Hajime Ishihara

Math. Log. Q., 2005

Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges.

Cristian S. Calude, Hajime Ishihara

J. Univers. Comput. Sci., 2005

On constructing completions.

Laura Crosilla, Hajime Ishihara, Peter Schuster

J. Symb. Log., 2005

Optical Manipulation of Nano Materials under Quantum Mechanical Resonance Conditions.

Takuya Iida, Hajime Ishihara

IEICE Trans. Electron., 2005

Strong continuity implies uniform sequential continuity.

Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta

Arch. Math. Log., 2005

Compactness in apartness spaces?

Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta

Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

Constructive reverse mathematics: compactness properties.

Hajime Ishihara

Proceedings of the From sets and types to topology and analysis, 2005

2004

Compactness under constructive scrutiny.

Hajime Ishihara, Peter Schuster

Math. Log. Q., 2004

2002

Completeness of intersection and union type assignment systems for call-by-value lambda-models.

Hajime Ishihara, Toshihiko Kurata

Theor. Comput. Sci., 2002

A Constructive Look at The Completeness of The Space D(R).

Hajime Ishihara, Satoru Yoshida

J. Symb. Log., 2002

Complexity of Some Infinite Games Played on Finite Graphs.

Hajime Ishihara, Bakhadyr Khoussainov

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2002

Some Results on Automatic Structures.

Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Compactness and Continuity, Constructively Revisited.

Douglas S. Bridges, Hajime Ishihara, Peter Schuster

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001

Coding with Minimal Programs.

Cristian Calude, Hajime Ishihara, Takeshi Yamaguchi

Int. J. Found. Comput. Sci., 2001

Sequentially Continuity in Constructive Mathematics.

Hajime Ishihara

Proceedings of the Combinatorics, 2001

2000

A Note on the Gödel-Gentzen Translation.

Hajime Ishihara

Math. Log. Q., 2000

A Canonical Model Construction for Substructural Logics.

Hajime Ishihara

J. Univers. Comput. Sci., 2000

1999

Function algebraic characterizations of the polytime functions.

Hajime Ishihara

Comput. Complex., 1999

1998

A Definitive Constructive Open Mapping Theorem?

Douglas S. Bridges, Hajime Ishihara

Math. Log. Q., 1998

Computable Kripke Models and Intermediate Logics.

Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode

Inf. Comput., 1998

Decidable Kripke Models of Intuitionistic Theories.

Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode

Ann. Pure Appl. Log., 1998

1997

Effectiveness of the Completeness Theorem for an Intermediate Logic.

Hajime Ishihara, Bakhadyr Khoussainov

J. Univers. Comput. Sci., 1997

Sequential Continuity of Linear Mappings in Constructive Mathematics.

Hajime Ishihara

J. Univers. Comput. Sci., 1997

1994

Absolute Continuity and the Uniqueness of the Constructive Functional Calculus.

Douglas S. Bridges, Hajime Ishihara

Math. Log. Q., 1994

Complements of Intersections in Constructive Mathematics.

Douglas S. Bridges, Hajime Ishihara

Math. Log. Q., 1994

1992

Continuity Properties in Constructive Mathematics.

Hajime Ishihara

J. Symb. Log., 1992

1991

Continuity and Nondiscontinuity in Constructive Mathematics.

Hajime Ishihara

J. Symb. Log., 1991

Constructive Compact Operators on a Hilbert Space.

Hajime Ishihara

Ann. Pure Appl. Log., 1991

1990

An omniscience principle, the König Lemma and the Hahn-Banach theorem.

Hajime Ishihara

Math. Log. Q., 1990