Shunsuke Yatabe

13 papers C 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2015 — conf
Truth as a Logical Connective.
JSAI-isAI Workshops
Shunsuke Yatabe
2014 J jnl
On the crispness of
Log. J. IGPL
Shunsuke Yatabe
2012 — conf
Test-Case Design by Feature Trees.
ISoLA (1)
Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe
2012 — conf
Yablo's Paradox, a Coinductive Language and Its Semantics.
JSAI-isAI Workshops
Shunsuke Yatabe
2011 — conf
A Co-inductive Language and Truth Degrees.
MOL
Shunsuke Yatabe
2010 — conf
Yablo-Like Paradoxes and Co-induction.
JSAI-isAI Workshops
Shunsuke Yatabe
2009 J jnl
Comprehension contradicts to the induction within Lukasiewicz predicate logic.
Arch. Math. Log.
Shunsuke Yatabe
2007 J jnl
Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic.
Arch. Math. Log.
Shunsuke Yatabe
2006 J jnl
On Evans's Vague Object from Set Theoretic Viewpoint.
J. Philos. Log.
Shunsuke Yatabe, Hiroyuki Inaoka
2005 J jnl
A note on Hájek, Paris and Shepherdson's theorem.
Log. J. IGPL
Shunsuke Yatabe
2005 J jnl
Forcing indestructibility of MAD families.
Ann. Pure Appl. Log.
Jörg Brendle, Shunsuke Yatabe
2005 — conf
Vagueness and Extensionality.
FSKD (1)
Shunsuke Yatabe, Hiroyuki Inaoka
2003 C conf
On a Set Theory With Uncertain Membership Relations.
HIS
Shunsuke Yatabe, Yuzuru Kakuda, Makoto Kikuchi