115 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Kitasato UniversityJP3 papers
- Chiba UniversityJP2 papers
- Osaka Kyoiku UniversityJP2 papers
- The University of TokyoJP2 papers
- Tohoku UniversityJP2 papers
- High Energy Accelerator Research OrganizationJP1 paper
- Kisarazu HospitalJP1 paper
- Nagoya UniversityJP1 paper
- National Institute of InformaticsJP1 paper
- National Institute of TechnologyJP1 paper
- Ritsumeikan UniversityJP1 paper
- Shohoku CollegeJP1 paper
Showing 2018Show all
3 papers · 1 filter
math.LO2018★ 2 cited
Rosser provability and normal modal logics
Taishi Kurahashi
In this paper, we investigate Rosser provability predicates whose provability logics are normal modal logics. First, we prove that there exists a Rosser provability predicate whose…
math.LO2018
Uniform Lyndon interpolation property in propositional modal logics
Taishi Kurahashi
We introduce and investigate the notion of uniform Lyndon interpolation property (ULIP) which is a strengthening of both uniform interpolation property and Lyndon interpolation pro…
math.FA2018★ 2 cited
Ando-Hiai type inequalities for multivariate operator means
Fumio Hiai, Yuki Seo, Shuhei Wada
We present several Ando-Hiai type inequalities for -variable operator means for positive invertible operators. Ando-Hiai's inequalities given here are not only of the original t…