北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 検索結果研究者紹介>全件表示

発表論文表示
表示方法:
表示順:

 

 

石原 哉 (イシハラ ハジメ) 教授
情報科学研究科(情報科学専攻・理論情報科学領域)

56件中1-20件目

  • 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 次へ ≫ ]