Shunsuke Yatabe
Shunsuke Yatabe
Verified email at aist.go.jp
Title
Cited by
Cited by
Year
Forcing indestructibility of MAD families
J Brendle, S Yatabe
Annals of Pure and Applied Logic 132 (2-3), 271-312, 2005
422005
Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
S Yatabe
Archive for Mathematical Logic 46 (3-4), 281-287, 2007
192007
A note on Hájek, Paris and Shepherdson's theorem
S Yatabe
Logic Journal of IGPL 13 (2), 261-266, 2005
122005
On Evans's vague object from set theoretic viewpoint
S Yatabe, H Inaoka
Journal of philosophical logic 35 (4), 423-434, 2006
92006
Test-case design by feature trees
T Kitamura, NTB Do, H Ohsaki, L Fang, S Yatabe
International Symposium On Leveraging Applications of Formal Methods …, 2012
72012
Yablo-like paradoxes and co-induction
S Yatabe
JSAI International Symposium on Artificial Intelligence, 90-103, 2010
62010
Comprehension contradicts to the induction within Łukasiewicz predicate logic
S Yatabe
Archive for Mathematical Logic 48 (3-4), 265-268, 2009
62009
On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory
S Yatabe
Logic Journal of the IGPL 22 (3), 482-493, 2014
22014
The revenge of the modest liar
S Yatabe
Non-Classical Mathematics, 2009
22009
Truth as a logical connective
S Yatabe
JSAI International Symposium on Artificial Intelligence, 166-182, 2015
12015
Yablo’s paradox, a coinductive language and its semantics
S Yatabe
JSAI International Symposium on Artificial Intelligence, 109-124, 2012
12012
A co-inductive language and truth degrees
S Yatabe
Conference on Mathematics of Language, 209-226, 2011
12011
Thinking (deflation-theoretic) truth as a logical connective
S Yatabe
2017
co-Harmony of Deflationary Truth
S Yatabe
2017
1A22 Security Evaluation for Communication Based Train Control System Using Attack Tree Method (Electrical-Power)
T Mori, S Yatabe, D Souma, K Taguchi, H Nishihara, H Kuwakado
The Proceedings of International Symposium on Seed-up and Service Technology …, 2015
2015
On the crispness of and arithmetic with a bisimulation in a constructive naive set theory
S Yatabe
2014
A constructive naive set theory and the ω-rule
S Yatabe
2012
A truth theory and co-induction
S Yatabe
2011
Czech-Japan joint fuzzy logic workshop 2009
S Yatabe
2009
Verification Tool and Unified Specifications for Embedded Software
S Yatabe
2009 Software Technologies for Future Dependable Distributed Systems, 127-131, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–20