TOP Page >  Faculty List by Affiliation  >  Profile > Display All

Published Papers
Results per page:
Chronological sort:

 

 

Hajime Ishihara Professor
School of Information Science(Department of Information Science・Theoretical Information Science)

Results 1-20 of about 55

  • 1. Embedding classical in minimal implicational logic,Hajime Ishihara and Helmut Schwichtenberg,MLQ Math. Log. Q.,62,94-101,2016
  • 2. Non-deterministic inductive definition and Fullness,Hajime Ishihara and Takako Nemoto,In: Dieter Probst and Peter Schuster (eds.), "Concepts of Proof in Mathematics, Philosophy, and Computer Science". Ontos Mathematical Logic. Walter de Gruyter, Berlin,pp.163-170,2016
  • 3. A note on the independence of premiss rule,Hajime Ishihara and Takako Nemoto,MLQ Math. Log. Q.,62,72-76,2016
  • 4. Generalized geometric theories and set-generated classes,Peter Aczel, Hajime Ishihara, Takako Nemoto and Yasushi Sangu,Math. Structures Comput. Sci.,25,1466-1483,2015
  • 5. Some principles weaker than Markov's principle,Makoto Fujiwara, Hajime Ishihara and Takako Nemoto,Arch. Math. Logic,54,861-870,2015
  • 6. Completeness and cocompleteness of the categories of basic pairs and concrete spaces,Hajime Ishihara and Tatsuji Kawai,Math. Structures Comput. Sci.,25,1626-1648,2015
  • 7. Classical propositional logic and decidability of variables in intuitionistic propositional logic,Hajime Ishihara,Logical Methods in Computer Science,10,3,2014
  • 8. Uniformly convex Banach spaces are reflexive - constructively,Douglas Bridges, Hajime Ishihara and Maarten McKubre-Jordens,MLQ Math. Log. Q.,59,352-356,2013
  • 9. Relating Bishop's function spaces to neighbourhood spaces,Hajime Ishihara,Ann. Pure Appl. Logic,164,482-490,2013
  • 10. The weak Koenig lemma, Brouwer's fan theorem, de Morgan law, and dependent choice,Josef Berger, Hajime Ishihara and Peter Schuster,Rep. Math. Logic,47,63-86,2012
  • 11. Some conservative extension results on classical and intuitionistic sequent calculi,Hajime Ishihara,In: U. Berger, H. Diener, P. Schuster and M. Seisenberger eds., Logic, Construction, Computation, Ontos Verlag, Frankfurt, 2012,289-304
  • 12. Two subcategories of apartness spaces,Hajime Ishihara,Ann. Pure Appl. Logic,163,132-139,2012
  • 13. On the contrapositive of countable choice,Hajime Ishihara and Peter Schuster,Arch. Math. Logic,50,137-143,2011
  • 14. A predicative completion of a uniform space,Josef Berger, Hajime Ishihara, Erik Palmgren and Peter Schuster,Ann. Pure Appl. Logic,163,975-980,2012
  • 15. The uniform boundedness theorem and a boundedness principle,Hajime Ishihara,Ann. Pure Appl. Logic,163,1057-1061,2012
  • 16. Kronecker's density theorem and irrational numbers in constructive reverse mathematics,Hajime Ishihara and Peter Schuster,Math. Semesterber.,57,57-72,2010
  • 17. A continuity principle, a version of Baire's theorem and a boundedness principle,Hajime Ishihara and Peter Schuster,J. Symbolic Logic,73,1354-1360,2008
  • 18. Apartness, compactness and nearness,Douglas Bridges, Hajime Ishihara, Peter Schuster and Luminita Vita,Theoret. Comput. Sci.,405,3-10,2008
  • 19. Separation properties in neighbourhood and quasi-apartness spaces,Robin Havea, Hajime Ishihara and Luminita Vita,MLQ Math. Log. Q.,54,58-64,2008
  • 20. Relativizing real numbers to a universe,Hajime Ishihara,In: S. Lindstroem, E. Palmgren, K. Segerberg and V. Stoltenberg-Hansen eds., Logicism, Intuitionism, and Formalism - What has become of them?, Synthese Library,341,189-207,2008

 1  2  3 Next ≫ ]