Shunsuke Yatabe - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2015

Truth as a Logical ConnectiveShunsuke Yatabe. jsai 2017: 166-182 [doi]

2014

ω and arithmetic with a bisimulation in a constructive naive set theoryShunsuke Yatabe. igpl, 22(3):482-493, 2014. [doi]

2012

Test-Case Design by Feature TreesTakashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe. ISoLA 2012: 458-473 [doi]

Yablo's Paradox, a Coinductive Language and Its SemanticsShunsuke Yatabe. jsai 2013: 109-124 [doi]

2011

A Co-inductive Language and Truth DegreesShunsuke Yatabe. mol 2011: 209-226 [doi]

2010

Yablo-Like Paradoxes and Co-inductionShunsuke Yatabe. jsai 2011: 90-103 [doi]

2009

Comprehension contradicts to the induction within Lukasiewicz predicate logicShunsuke Yatabe. AML, 48(3-4):265-268, 2009. [doi]

2007

Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logicShunsuke Yatabe. AML, 46(3-4):281-287, 2007. [doi]

2006

On Evans's Vague Object from Set Theoretic ViewpointShunsuke Yatabe, Hiroyuki Inaoka. jphil, 35(4):423-434, 2006. [doi]

2005

Forcing indestructibility of MAD familiesJörg Brendle, Shunsuke Yatabe. APAL, 132(2-3):271-312, 2005. [doi]

Vagueness and ExtensionalityShunsuke Yatabe, Hiroyuki Inaoka. fskd 2005: 263-266 [doi]

A note on Hájek, Paris and Shepherdson s theoremShunsuke Yatabe. igpl, 13(2):261-266, 2005. [doi]

2003

On a Set Theory With Uncertain Membership RelationsShunsuke Yatabe, Yuzuru Kakuda, Makoto Kikuchi. his 2003: 458-467

Sign in or sign up to see more results.

runs on WebDSL