
Hajime Ishihara Professor
School of Information Science（Department of Information Science・Theoretical Information Science）
Results 120
of about 27
 1. Constructive reverse mathematics: an introduction and recent results，Hajime Ishihara，Frontiers of NonClassicality: Logic, Mathematics, Philosophy，Auckland, New Zealand，January 2629, 2016
 2. A monad on the combinatory algebras，Hajime Ishihara，Operations, Sets, and Types，Muenchenwiler, Switzerland，April 18  20, 2016
 3. Constructive reverse mathematics and omniscience pringiples，Hajime Ishihara，14th Asian Logic Conference，Munbai, India，January 58, 2015
 4. Classical propositional logic and decidability of variables in intuitionistic propositional logic，Hajime Ishihara，Proof, An International Conference within the Frame of HumboldtKollegs，Bern, Switzerland，September 913, 2013
 5. Intuitionistic logic and reverse mathematics，Hajime Ishihara，Proof, Truth, Computation: Summer School on the Interactions between Modern Foundations of Mathematics and Contemporary Philosophy，Chiemsee, Germany，2125 July 2014
 6. A monad in the combinatory algebras，Hajime Ishihara，Correctness by Construction CORCON 2014 Workshop，Genoa, Italy，March 2427, 2014
 7. Constructive reverse mathematics: an introduction，Hajime Ishiahra，Constructive Mathematics: Foundations and Practice，Nis, Serbia，June 2428, 2013
 8. Classical propositional logic and decidability of variables in intuitionistic propositional logic，Hajime Ishihara，Continuity, Computability, Constructivity  From Logic to Algorithms，Swansea University/Gregynog, UK，June 2630, 2013
 9. Some conservative extension results of classical logic over intuitionistic logic，Hajime Ishihara，Continuity, Computability, Constructivity  From Logic to Algorithms，Trier, Germany，May 29  June 02, 2012
 10. Infinitary propositional theories and setgenerated classes，Hajime Ishihara，Fourth Workshop on Formal Topology，Ljubljana, Slovenia，June 15 19, 2012
 11. Some conservative extension results of classical logic over intuitionistic logic，Hajime Ishihara，Mathematical Logic: Proof Theory, Constructive Mathematics，Oberwolfach, Germany，November 711, 2011
 12. Generalized geometric theories and setgenerated classes，Hajime Ishihara，Computing with Infinite Data: Topological and Logical Foundations，Dagstuhl, Germany，October 1014, 2011
 13. The monotone completeness theorem in constructive reverse mathematics，Hajime Ishihara，Seventh International Conference on Computability and Complexity in Analysis，Zhenjiang, China，June 2125, 2010
 14. Continuous morphisms in constructive topological spaces，Hajime Ishihara，Leeds Symposium on Proof Theory and Constructivism，Leeds, UK，July 316, 2009
 15. A boundedness principle in constructive reverse mathematics，Hajime Ishihara，Continuity, Computability, Constructivity: From Logic to Algorithms，Koeln, Germany，July 1418, 2009
 16. On a set generation scheme in constructive set theory，Hajime Ishihara，Advances in Constructive Topology and Logical Foundations，Padova, Italy，October 811, 2008
 17. Neighbourhood and quasiapartness spaces, and separation properties，Hajime Ishihara，3rd Workshop on Formal Topology，Padova, Italy，May 712, 2007
 18. Constructive reverse mathematics and unique existence，Hajime Ishihara，Workshop Proof and Computation II，Munich, Germany，June 23, 2007
 19. Unique existence and computability in constructive reverse mathematics，Hajime Ishihara，3rd Conference on Computability in Europe, CiE 2007，Siena, Italy，June 1823, 2007
 20. The uniform boundedness theorem and a boundedness principle，Hajime Ishihara，Workshop on Trends in Constructive Mathematics，Chiemsee, Germany，June 1923, 2006
