Shunsuke Yatabe

[Japanese | English]

Shunsuke Yatabe

Dr.(Sci.)

I moved to:

Research Staff,
Research Center for Verification and Semantics (CVS),
National Institute of Advanced Industrial Science and Technology (AIST).
[My new web site]

Address: 5th floor, Mitsui Sumitomo Kaijo Senri Bldg, 1-2-14 Shin-Senri Nishi, Toyonaka, Osaka, 560-0083 Japan

Tel:+81-6-4863-5031

Fax:+81-6-4863-5052

Email: shunsuke.yatabe(at)aist.go.jp

Research interest:

functorial semantics of abstraction
set theory and truth theory within many-valued logic
vagueness

Publications (until September 2007, in English/with referee):

On the combinatorial structure of the real numbers

Forcing indestructibility of MAD families
Jorg Brendle and Shunsuke Yatabe. Annals of Pure and Applied Logic, pp.271-312, vol.132(2-3), March 2005. (Abstract)(pdf)

Set theories within many-valued logic

On a Set Theory with Uncertain Membership Relations
Shunsuke Yatabe, Yuzuru Kakuda and Makoto Kikuchi. Design and application of Hybrid Intelligent Systems, pp.458-467, IOS press, 2003. (Abstract)
A note on Hajek, Paris and Shepherdson's theorem
Shunsuke Yatabe. Logic Journal of IGPL, pp.261-266, vol.13(2), March 2005. (Abstract) (pdf) (pdf on this site)
Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic
Shunsuke Yatabe. Archive for Mathematical Logic, pp.281-287, vol.46(3-4), April 2007. (Abstract) (pdf on this site)

Semantics of vagueness

Vagueness and Extensionality
Shunsuke Yatabe and Hiroyuki Inaoka. Proceedings of 2nd International Conference on Fuzzy Systems and Knowledge Discovery, Lecture Notes in Computer Science, Volume 3613, Springer-Verlag (2005). (Abstract) (pdf on this site)
On Evans's vague object from set theoretic viewpoint
Shunsuke Yatabe and Hiroyuki Inaoka. Journal of Philosophical Logic, pp.423-434, vol.35(4), August 2006. (Abstract) (pdf on this site)

The list of Japanese papers were moved to Japanese homepage.

Talks (until September 2007):

International conference (with refree)

On a Set Theory with Uncertain Membership Relations (with Yuzuru Kakuda and Makoto Kikuchi)
in December 15, 2003, at 3rd International Conference on Hybrid Intelligent Systems (Web site), in Melbourne, Australia.
Vagueness and Extensionality (with Hiroyuki Inaoka)
in August 28, 2005, at 2nd International Conference on Fuzzy Systems and Knowlege Discovery (Web site), in Changsha, China. (Presentation file)
Temporal states and the contraction rule
in September 8, 2006, at Prague International Colloquium 2006 Uncertainty: Reasoning about probability and vagueness (Web site), in Prague, Czech. (Presentation file)
Recursion contradicts to induction within Lukasiewicz logic
in July 8, 2007, at Many Valued Logic and Cognition - Trends in Logic V Conference (Web site), in Guangzhou, China. (abstract) (presentation file)
On an arithmetic in a set theory within Lukasiewicz logic
in August 5, 2007, at TANCL'07 (Web site) in Oxford, UK. (presentation file)

International conference (without refree)

Forcing indestructibility of MAD families (with Jorg Brendle)
in July 25, 2002, at 2nd Mexico-Japan International Topology Conference (Web site), in Matsue, Japan.

The list of domestic talks were moved to Japanese homepage.

Preprints:

Concepts with unstable boundaries

Notes:

Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic Workshop on Algebra and Logic, March 12, 2007, at JAIST.
Set theory within many-valued logic and non-standard natural numbers (in Japanese) note of my talk in March 8, at 1st Kobe Symposium on Logic, Information and Design, 2005, at Kobe.
An introduction to inner model theory lecture notes: the lecture was given by Professor Philip D. Welch in 1997 at Kobe University.

My Erdös number is 3: Thank you professor Brendle!