Hajime Ishihara

Affiliations:
  • Japan Advanced Institute of Science and Technology (JAIST), Nomi, Ishikawa, Japan


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

2023
Extended Frames and Separations of Logical Principles.
Bull. Symb. Log., September, 2023

Reflexive combinatory algebras.
J. Log. Comput., July, 2023

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

Algebraic combinatory models.
CoRR, 2021

2020
On the independence of premiss axiom and rule.
Arch. Math. Log., 2020

2019
Equivalents of the finitary non-deterministic inductive definitions.
Ann. Pure Appl. Log., 2019

The binary expansion and the intermediate value theorem in constructive reverse mathematics.
Arch. Math. Log., 2019

2018
Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice.
Arch. Math. Log., 2018

2017
Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013.
Math. Struct. Comput. Sci., 2017

2016
Embedding classical in minimal implicational logic.
Math. Log. Q., 2016

A note on the independence of premiss rule.
Math. Log. Q., 2016

2015
Completeness and cocompleteness of the categories of basic pairs and concrete spaces.
Math. Struct. Comput. Sci., 2015

Generalized geometric theories and set-generated classes.
Math. Struct. Comput. Sci., 2015

Some principles weaker than Markov's principle.
Arch. Math. Log., 2015

2014
Classical propositional logic and decidability of variables in intuitionistic propositional logic.
Log. Methods Comput. Sci., 2014

2013
Uniformly convex Banach spaces are reflexive - constructively.
Math. Log. Q., 2013

Relating Bishop's function spaces to neighbourhood spaces.
Ann. Pure Appl. Log., 2013

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

The uniform boundedness theorem and a boundedness principle.
Ann. Pure Appl. Log., 2012

Two subcategories of apartness spaces.
Ann. Pure Appl. Log., 2012

A predicative completion of a uniform space.
Ann. Pure Appl. Log., 2012

2011
On the contrapositive of countable choice.
Arch. Math. Log., 2011

2008
Apartness, compactness and nearness.
Theor. Comput. Sci., 2008

Separation properties in neighbourhood and quasi-apartness spaces.
Math. Log. Q., 2008

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

Computability and Complexity in Analysis.
J. Univers. Comput. Sci., 2008

A continuity principle, a version of Baire's theorem and a boundedness principle.
J. Symb. Log., 2008

A VGA 30-fps Realtime Optical-Flow Processor Core for Moving Picture Recognition.
IEICE Trans. Electron., 2008

2007
Unique Existence and Computability in Constructive Reverse Mathematics.
Proceedings of the Computation and Logic in the Real World, 2007

2006
Binary Refinement Implies Discrete Exponentiation.
Stud Logica, 2006

Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.
Notre Dame J. Formal Log., 2006

Quotient topologies in constructive set theory and type theory.
Ann. Pure Appl. Log., 2006

Quasi-apartness and neighbourhood spaces.
Ann. Pure Appl. Log., 2006

2005
Brouwer's fan theorem and unique existence in constructive analysis.
Math. Log. Q., 2005

Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges.
J. Univers. Comput. Sci., 2005

On constructing completions.
J. Symb. Log., 2005

Optical Manipulation of Nano Materials under Quantum Mechanical Resonance Conditions.
IEICE Trans. Electron., 2005

Strong continuity implies uniform sequential continuity.
Arch. Math. Log., 2005

Compactness in apartness spaces?
Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

Constructive reverse mathematics: compactness properties.
Proceedings of the From sets and types to topology and analysis, 2005

2004
Compactness under constructive scrutiny.
Math. Log. Q., 2004

2002
Completeness of intersection and union type assignment systems for call-by-value lambda-models.
Theor. Comput. Sci., 2002

A Constructive Look at The Completeness of The Space D(R).
J. Symb. Log., 2002

Complexity of Some Infinite Games Played on Finite Graphs.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2002

Some Results on Automatic Structures.
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Compactness and Continuity, Constructively Revisited.
Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001
Coding with Minimal Programs.
Int. J. Found. Comput. Sci., 2001

Sequentially Continuity in Constructive Mathematics.
Proceedings of the Combinatorics, 2001

2000
A Note on the Gödel-Gentzen Translation.
Math. Log. Q., 2000

A Canonical Model Construction for Substructural Logics.
J. Univers. Comput. Sci., 2000

1999
Function algebraic characterizations of the polytime functions.
Comput. Complex., 1999

1998
A Definitive Constructive Open Mapping Theorem?
Math. Log. Q., 1998

Computable Kripke Models and Intermediate Logics.
Inf. Comput., 1998

Decidable Kripke Models of Intuitionistic Theories.
Ann. Pure Appl. Log., 1998

1997
Effectiveness of the Completeness Theorem for an Intermediate Logic.
J. Univers. Comput. Sci., 1997

Sequential Continuity of Linear Mappings in Constructive Mathematics.
J. Univers. Comput. Sci., 1997

1994
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus.
Math. Log. Q., 1994

Complements of Intersections in Constructive Mathematics.
Math. Log. Q., 1994

1992
Continuity Properties in Constructive Mathematics.
J. Symb. Log., 1992

1991
Continuity and Nondiscontinuity in Constructive Mathematics.
J. Symb. Log., 1991

Constructive Compact Operators on a Hilbert Space.
Ann. Pure Appl. Log., 1991

1990
An omniscience principle, the König Lemma and the Hahn-Banach theorem.
Math. Log. Q., 1990


  Loading...