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

Lectures and Presentations
Results per page:
Chronological sort:

 

 

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

Results 1-20 of about 27

  • 1. Constructive reverse mathematics: an introduction and recent results,Hajime Ishihara,Frontiers of Non-Classicality: Logic, Mathematics, Philosophy,Auckland, New Zealand,January 26-29, 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 5-8, 2015
  • 4. Classical propositional logic and decidability of variables in intuitionistic propositional logic,Hajime Ishihara,Proof, An International Conference within the Frame of Humboldt-Kollegs,Bern, Switzerland,September 9-13, 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,21-25 July 2014
  • 6. A monad in the combinatory algebras,Hajime Ishihara,Correctness by Construction CORCON 2014 Workshop,Genoa, Italy,March 24-27, 2014
  • 7. Constructive reverse mathematics: an introduction,Hajime Ishiahra,Constructive Mathematics: Foundations and Practice,Nis, Serbia,June 24-28, 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 26-30, 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 set-generated 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 7-11, 2011
  • 12. Generalized geometric theories and set-generated classes,Hajime Ishihara,Computing with Infinite Data: Topological and Logical Foundations,Dagstuhl, Germany,October 10-14, 2011
  • 13. The monotone completeness theorem in constructive reverse mathematics,Hajime Ishihara,Seventh International Conference on Computability and Complexity in Analysis,Zhenjiang, China,June 21-25, 2010
  • 14. Continuous morphisms in constructive topological spaces,Hajime Ishihara,Leeds Symposium on Proof Theory and Constructivism,Leeds, UK,July 3-16, 2009
  • 15. A boundedness principle in constructive reverse mathematics,Hajime Ishihara,Continuity, Computability, Constructivity: From Logic to Algorithms,Koeln, Germany,July 14-18, 2009
  • 16. On a set generation scheme in constructive set theory,Hajime Ishihara,Advances in Constructive Topology and Logical Foundations,Padova, Italy,October 8-11, 2008
  • 17. Neighbourhood and quasi-apartness spaces, and separation properties,Hajime Ishihara,3rd Workshop on Formal Topology,Padova, Italy,May 7-12, 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 18-23, 2007
  • 20. The uniform boundedness theorem and a boundedness principle,Hajime Ishihara,Workshop on Trends in Constructive Mathematics,Chiemsee, Germany,June 19-23, 2006

 1  2 Next ≫ ]