Följ
Shunsuke Yatabe
Shunsuke Yatabe
Verifierad e-postadress på aist.go.jp
Titel
Citeras av
Citeras av
År
Forcing indestructibility of MAD families
J Brendle, S Yatabe
Annals of Pure and Applied Logic 132 (2-3), 271-312, 2005
552005
Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
S Yatabe
Archive for Mathematical Logic 46 (3), 281-287, 2007
202007
A note on Hájek, Paris and Shepherdson's theorem
S Yatabe
Logic Journal of IGPL 13 (2), 261-266, 2005
132005
On Evans's vague object from set theoretic viewpoint
S Yatabe, H Inaoka
Journal of philosophical logic 35, 423-434, 2006
102006
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
92012
Yablo-like paradoxes and co-induction
S Yatabe
New Frontiers in Artificial Intelligence: JSAI-isAI 2010 Workshops, LENLS …, 2011
62011
Comprehension contradicts to the induction within Łukasiewicz predicate logic
S Yatabe
Archive for Mathematical Logic 48 (3), 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
New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, LENLS …, 2013
12013
A co-inductive language and truth degrees
S Yatabe
Conference on Mathematics of Language, 209-226, 2011
12011
On a Set Theory With Uncertain Membership Relations.
S Yatabe, Y Kakuda, M Kikuchi
HIS, 458-467, 2003
12003
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20