Shunsuke Yatabe

Publication Activity (10 Years)

Years Active: 2003-2015
Publications (10 Years): 0

Top Topics

Fixed Point Semantics

Definition Language

Predicate Calculus

Top Venues

JSAI-isAI Workshops

Publications

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