Kentaro Sato

18 papers Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
Intuitionistic Fuzzy Logic and Prelinearity: Benefit from Multiplicative Disjunction and Infinitesimal.
FUZZ
Yoshihiro Maruyama, Kentaro Sato
2024 J jnl
A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI.
Ann. Pure Appl. Log.
Kentaro Sato
2023 J jnl
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of Σ11 collection.
Ann. Pure Appl. Log.
Kentaro Sato
2022 J jnl
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts.
Arch. Math. Log.
Kentaro Sato
2022 — conf
Introductory Education for IoT Technology for First-Year Students.
TALE
Satoru Izumi, Kentaro Sato, Akiko Takahashi, Shinji Chiba
2020 J jnl
Elementary inductive dichotomy: Separation of open and clopen determinacies with infinite alternatives.
Ann. Pure Appl. Log.
Kentaro Sato
2020 J jnl
Ordinal analyses for monotone and cofinal transfinite inductions.
Arch. Math. Log.
Kentaro Sato
2015 J jnl
A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π
Ann. Pure Appl. Log.
Kentaro Sato, Rico Zumbrunnen
2015 J jnl
A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics
Ann. Pure Appl. Log.
Kentaro Sato
2015 J jnl
Full and hat inductive definitions are equivalent in NBG.
Arch. Math. Log.
Kentaro Sato
2014 J jnl
Forcing for hat inductive definitions in arithmetic.
Math. Log. Q.
Kentaro Sato
2014 J jnl
From hierarchies to well-foundedness.
Arch. Math. Log.
Dandolo Flumini, Kentaro Sato
2011 J jnl
The strength of extensionality II - Weak weak set theories without infinity.
Ann. Pure Appl. Log.
Kentaro Sato
2009 J jnl
The strength of extensionality I - weak weak set theories with infinity.
Ann. Pure Appl. Log.
Kentaro Sato
2007 J jnl
Double helix in large large cardinals and iteration of elementary embeddings.
Ann. Pure Appl. Log.
Kentaro Sato
2007 J jnl
Semantical Characterizations for Irreflexive and Generalized Modal Languages.
Notre Dame J. Formal Log.
Katsuhiko Sano, Kentaro Sato
2005 J jnl
Synthesis of F
Speech Commun.
Keikichi Hirose, Kentaro Sato, Yasufumi Asano, Nobuaki Minematsu
2004 — conf
Corpus-based synthesis of fundamental frequency contours with various speaking styles from text using F0 contour generation process model.
SSW
Keikichi Hirose, Kentaro Sato, Nobuaki Minematsu