Forcing indestructibility of MAD families J Brendle, S Yatabe Annals of Pure and Applied Logic 132 (2-3), 271-312, 2005 | 55 | 2005 |
Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic S Yatabe Archive for Mathematical Logic 46 (3), 281-287, 2007 | 20 | 2007 |
A note on Hájek, Paris and Shepherdson's theorem S Yatabe Logic Journal of IGPL 13 (2), 261-266, 2005 | 13 | 2005 |
On Evans's vague object from set theoretic viewpoint S Yatabe, H Inaoka Journal of philosophical logic 35, 423-434, 2006 | 10 | 2006 |
Test-case design by feature trees T Kitamura, NTB Do, H Ohsaki, L Fang, S Yatabe Leveraging Applications of Formal Methods, Verification and Validation …, 2012 | 9 | 2012 |
Yablo-like paradoxes and co-induction S Yatabe New Frontiers in Artificial Intelligence: JSAI-isAI 2010 Workshops, LENLS …, 2011 | 6 | 2011 |
Comprehension contradicts to the induction within Łukasiewicz predicate logic S Yatabe Archive for Mathematical Logic 48 (3), 265-268, 2009 | 6 | 2009 |
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 | 2 | 2014 |
The revenge of the modest liar S Yatabe Non-Classical Mathematics, 2009 | 2 | 2009 |
Truth as a logical connective S Yatabe JSAI International Symposium on Artificial Intelligence, 166-182, 2015 | 1 | 2015 |
Yablo’s paradox, a coinductive language and its semantics S Yatabe New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, LENLS …, 2013 | 1 | 2013 |
A co-inductive language and truth degrees S Yatabe Conference on Mathematics of Language, 209-226, 2011 | 1 | 2011 |
On a Set Theory With Uncertain Membership Relations. S Yatabe, Y Kakuda, M Kikuchi HIS, 458-467, 2003 | 1 | 2003 |
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 |
Preparing formal specifications: uses of semi-formal methods in the concept phase of a system design S Yatabe 九州大学マス・フォア・インダストリ研究所 61, 108-109, 2015 | | 2015 |
A constructive naive set theory and the ω-rule S Yatabe | | 2012 |
A truth theory and co-induction S Yatabe | | 2011 |
Yablosque paradoxes and co-induction S Yatabe | | 2010 |