Shunsuke Yatabe

According to our database, Shunsuke Yatabe authored at least 13 papers between 2003 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2015

Truth as a Logical Connective.

Shunsuke Yatabe

Proceedings of the New Frontiers in Artificial Intelligence, 2015

2014

On the crispness of <i>ω</i> and arithmetic with a bisimulation in a constructive naive set theory.

Shunsuke Yatabe

Log. J. IGPL, 2014

2012

Yablo's Paradox, a Coinductive Language and Its Semantics.

Shunsuke Yatabe

Proceedings of the New Frontiers in Artificial Intelligence, 2012

Test-Case Design by Feature Trees.

Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011

A Co-inductive Language and Truth Degrees.

Shunsuke Yatabe

Proceedings of the Mathematics of Language - 12th Biennial Conference, 2011

2010

Yablo-Like Paradoxes and Co-induction.

Shunsuke Yatabe

Proceedings of the New Frontiers in Artificial Intelligence, 2010

2009

Comprehension contradicts to the induction within Lukasiewicz predicate logic.

Shunsuke Yatabe

Arch. Math. Log., 2009

2007

Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic.

Shunsuke Yatabe

Arch. Math. Log., 2007

2006

On Evans's Vague Object from Set Theoretic Viewpoint.

Shunsuke Yatabe, Hiroyuki Inaoka

J. Philos. Log., 2006

2005

A note on Hájek, Paris and Shepherdson's theorem.

Shunsuke Yatabe

Log. J. IGPL, 2005

Forcing indestructibility of MAD families.

Jörg Brendle, Shunsuke Yatabe

Ann. Pure Appl. Log., 2005

Vagueness and Extensionality.

Shunsuke Yatabe, Hiroyuki Inaoka

Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

2003

On a Set Theory With Uncertain Membership Relations.

Shunsuke Yatabe, Yuzuru Kakuda, Makoto Kikuchi

Proceedings of the Design and Application of Hybrid Intelligent Systems, 2003