• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

kurahashi taishi  倉橋 太志

ORCIDConnect your ORCID iD *help
… Alternative Names

Kurahashi Taishi  倉橋 太志

Less
Researcher Number 10738446
Other IDs
Affiliation (Current) 2022: 神戸大学, システム情報学研究科, 准教授
Affiliation (based on the past Project Information) *help 2020: 神戸大学, システム情報学研究科, 准教授
2016 – 2019: 木更津工業高等専門学校, 基礎学系, 講師
2014 – 2015: 木更津工業高等専門学校, その他部局等, 講師
Review Section/Research Field
Principal Investigator
Foundations of mathematics/Applied mathematics / Basic Section 12030:Basic mathematics-related
Keywords
Principal Investigator
数理論理学 / 数学基礎論 / 不完全性定理 / 形式的算術 / 証明可能性 / 超準モデル / 証明可能性述語 / 様相論理 / 可証性述語 / 算術の超準モデル … More / 証明可能性論理 / 算術のモデル / 部分的な保存性 / クリプキ意味論 / 決定不可能命題 Less
  • Research Projects

    (3 results)
  • Research Products

    (53 results)
  • Co-Researchers

    (1 People)
  •  Research of formal provability by means of the investigation of incompleteness theoremsPrincipal Investigator

    • Principal Investigator
      倉橋 太志
    • Project Period (FY)
      2019 – 2022
    • Research Category
      Grant-in-Aid for Early-Career Scientists
    • Review Section
      Basic Section 12030:Basic mathematics-related
    • Research Institution
      Kobe University
      Kisarazu National College of Technology
  •  Research of the structure of proofs in nonstandard models and formal theoriesPrincipal Investigator

    • Principal Investigator
      Kurahashi Taishi
    • Project Period (FY)
      2016 – 2018
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Foundations of mathematics/Applied mathematics
    • Research Institution
      Kisarazu National College of Technology
  •  Research of formal provability by means of the analysis of provability predicatesPrincipal Investigator

    • Principal Investigator
      Kurahashi Taishi
    • Project Period (FY)
      2014 – 2015
    • Research Category
      Grant-in-Aid for Research Activity Start-up
    • Research Field
      Foundations of mathematics/Applied mathematics
    • Research Institution
      Kisarazu National College of Technology

All 2021 2020 2019 2018 2017 2016 2015 2014

All Journal Article Presentation Book

  • [Book] 数学における証明と真理-様相論理と数学基礎論2016

    • Author(s)
      佐野勝彦・倉橋太志・薄葉季路・黒川英徳・菊池誠
    • Total Pages
      288
    • Publisher
      共立出版
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Journal Article] Modal completeness of sublogics of the interpretability logic IL2021

    • Author(s)
      Taishi Kurahashi and Yuya Okawa
    • Journal Title

      Mathematical Logic Quarterly

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] 不完全性定理の数学的発展2021

    • Author(s)
      倉橋太志
    • Journal Title

      数学

      Volume: 73 Pages: 60-87

    • NAID

      40022471614

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] Uniform Lyndon interpolation property in propositional modal logics2020

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Archive for Mathematical Logic

      Volume: -

    • DOI

      10.1007/s00153-020-00713-y

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] A note on derivability conditions2020

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      The Journal of Symbolic Logic

      Volume: 85 Pages: 1224-1253

    • DOI

      10.1017/jsl.2020.33

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] Rosser provability and normal modal logics2019

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Studia Logica

      Volume: -

    • DOI

      10.1007/s11225-019-09865-2

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] On arithmetical completeness of the Logic of Proofs2019

    • Author(s)
      Sohei Iwata and Taishi Kurahashi
    • Journal Title

      Annals of Pure and Applied Logic

      Volume: 170 Pages: 163-179

    • DOI

      10.1016/j.apal.2018.09.004

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Journal Article] Rosser provability and the second incompleteness theorem2019

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Symposium on Advances in Mathematical Logic 2018 proceedings

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] Fixed-point properties for predicate modal logics2019

    • Author(s)
      Sohei Iwata and Taishi Kurahashi
    • Journal Title

      Annals of the Japan Association for Philosophy of Science

      Volume: -

    • NAID

      130007940567

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] Provability logics relative to a fixed extension of Peano Arithmetic2018

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      The Journal of Symbolic Logic

      Volume: 83 Pages: 1229-1246

    • DOI

      10.1017/jsl.2018.27

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Journal Article] On partial disjunction properties of theories containing Peano arithmetic2018

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Archive for Mathematical Logic

      Volume: 印刷中

    • DOI

      10.1007/s00153-018-0618-3

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K17653, KAKENHI-PROJECT-17H02263
  • [Journal Article] Arithmetical Soundness and Completeness for Σ2 Numerations2018

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Studia Logica

      Volume: 印刷中

    • DOI

      10.1007/s11225-017-9782-4

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K17653, KAKENHI-PROJECT-17H02263
  • [Journal Article] Arithmetical Completeness Theorem for Modal Logic K2018

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Studia Logica

      Volume: 106 Pages: 219-235

    • DOI

      10.1007/s11225-017-9735-y

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K17653, KAKENHI-PROJECT-17H02263
  • [Journal Article] GENERALIZATIONS OF GODEL'S INCOMPLETENESS THEOREMS FOR ∑n-DEFINABLE THEORIES OF ARITHMETIC2017

    • Author(s)
      Makoto Kikuchi and Taishi Kurahashi
    • Journal Title

      The Review of Symbolic Logic

      Volume: 10 Pages: 603-616

    • DOI

      10.1017/s1755020317000235

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K17653, KAKENHI-PROJECT-17H02263
  • [Journal Article] Universal Rosser predicates2017

    • Author(s)
      Makoto Kikuchi and Taishi Kurahashi
    • Journal Title

      The Journal of Symbolic Logic

      Volume: 82 Pages: 292-302

    • DOI

      10.1017/jsl.2016.19

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Journal Article] 計算可能前構造と横山吉川の性質2017

    • Author(s)
      樋口幸治郎・倉橋太志
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 2050

    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Journal Article] Liar-type paradoxes and the incompleteness phenomena2016

    • Author(s)
      Makoto Kikuchi and Taishi Kurahashi
    • Journal Title

      Journal of Philosophical Logic

      Volume: (印刷中) Pages: 381-398

    • DOI

      10.1007/s10992-015-9378-2

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26887045, KAKENHI-PROJECT-16K17653
  • [Journal Article] Illusory models of Peano arithmetic2016

    • Author(s)
      Makoto Kikuchi and Taishi Kurahashi
    • Journal Title

      The Journal of Symbolic Logic

      Volume: 81 Pages: 1163-1175

    • DOI

      10.1017/jsl.2015.52

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Journal Article] Illusory models of Peano arithmetic2016

    • Author(s)
      Makoto Kikuchi and Taishi Kurahashi
    • Journal Title

      The Journal of Symbolic Logic

      Volume: (印刷中)

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Journal Article] Universal Rosser predicates2016

    • Author(s)
      Makoto Kikuchi and Taishi Kurahashi
    • Journal Title

      The Journal of Symbolic Logic

      Volume: (印刷中)

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Journal Article] Henkin sentences and local reflection principles for Rosser provability2016

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Annals of Pure and Applied Logic

      Volume: 167 Pages: 73-94

    • DOI

      10.1016/j.apal.2015.10.002

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Journal Article] Rosser-type undecidable sentences based on Yablo’s paradox2014

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Journal of philosophical logic

      Volume: (掲載確定) Pages: 999-1017

    • DOI

      10.1007/s10992-013-9309-z

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-12J00654, KAKENHI-PROJECT-26887045
  • [Presentation] 解釈可能性論理 IL の部分論理に対する Craig の補間定理及び不動点定理について2021

    • Author(s)
      大川裕矢, 倉橋太志, 岩田荘平
    • Organizer
      日本数学会2021年度年会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 部分保存的な文に対する Bennet の結果の一般化2020

    • Author(s)
      大川裕矢, 倉橋太志
    • Organizer
      日本数学会2020年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 述語証明可能性論理の包含関係について2020

    • Author(s)
      倉橋太志
    • Organizer
      証明論研究集会2020
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 解釈可能性論理ILの部分論理2020

    • Author(s)
      倉橋太志, 大川裕矢
    • Organizer
      日本数学会2020年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 部分保存的な文に関する Guaspari の問題について2019

    • Author(s)
      大川裕矢・倉橋太志
    • Organizer
      日本数学会 2019年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] ゲーデルの第二不完全性定理について2019

    • Author(s)
      倉橋太志
    • Organizer
      科学基礎論学会2019年度研究例会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] Derivability conditions and the second incompleteness theorem2019

    • Author(s)
      Taishi Kurahashi
    • Organizer
      Logic Colloquium 2019
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] Sacchetti の様相論理に対する不動点定理について2019

    • Author(s)
      大川裕矢・倉橋太志
    • Organizer
      日本数学会 2019 年度年会
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] 命題様相論理における Uniform Lyndon 補間定理2019

    • Author(s)
      倉橋太志
    • Organizer
      第6回山陰基礎論・解析学研究集会
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] 命題様相論理における uniform Lyndon interpolation property2019

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2019 年度年会
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] 第二不完全性定理について2019

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2019年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 述語様相論理における不動点の性質について2019

    • Author(s)
      岩田荘平・倉橋太志
    • Organizer
      日本数学会 2019年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 理論の分解と証明可能性論理2018

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2018 年度年会
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] Normal modal logics and provability predicates2018

    • Author(s)
      倉橋太志
    • Organizer
      Second Workshop on Mathematical Logic and its Applications
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] 様相論理 KD の算術的完全性2018

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2018 年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] Rosser provability and the second incompleteness theorem2018

    • Author(s)
      倉橋太志
    • Organizer
      Symposium on Advances in Mathematical Logic 2018 (Takeuti Memorial Symposium)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] Two theorems on provability logics2017

    • Author(s)
      倉橋太志
    • Organizer
      Logic Colloquium 2017
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] 第一不完全性定理の拡張と一般化について2017

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2017 年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] LP の算術的完全性定理について2017

    • Author(s)
      岩田荘平・倉橋太志
    • Organizer
      日本数学会 2017 年度年会
    • Place of Presentation
      首都大学東京(東京都八王子市)
    • Year and Date
      2017-03-25
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] Sacchetti の論理に対する算術的健全性と完全性2017

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2017 年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] Rosser 証明可能性述語と超準的な証明2017

    • Author(s)
      倉橋太志
    • Organizer
      超準解析と数学基礎論のシンポジウム NSA 2017
    • Invited
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] PA を含む理論の部分的な選言特性と存在特性2017

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2017 年度年会
    • Place of Presentation
      首都大学東京(東京都八王子市)
    • Year and Date
      2017-03-25
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] On partial disjunction properties of theories containing PA2017

    • Author(s)
      倉橋太志
    • Organizer
      Workshop ``Logic and Philosophy of Mathematics''
    • Invited
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] 理論の部分保存性について2016

    • Author(s)
      倉橋太志
    • Organizer
      第3回 山陰基礎論・解析学研究集会
    • Place of Presentation
      米子・皆生
    • Year and Date
      2016-01-30
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Presentation] 不完全性定理と証明可能性述語について2016

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2016 年度秋季総合分科会(特別講演)
    • Place of Presentation
      関西大学(大阪府吹田市)
    • Year and Date
      2016-09-17
    • Invited
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] Rosser-type Henkin sentences and local reflection principles2015

    • Author(s)
      倉橋太志
    • Organizer
      Logic Colloquium 2015
    • Place of Presentation
      ヘルシンキ大学(フィンランド)
    • Year and Date
      2015-08-07
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Presentation] Heterodox models of Peano arithmetic2015

    • Author(s)
      菊池誠,倉橋太志
    • Organizer
      15th Congress of Logic, Methodology and Philosophy of Science
    • Place of Presentation
      ヘルシンキ大学(フィンランド)
    • Year and Date
      2015-08-05
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Presentation] 証明可能性論理2015

    • Author(s)
      倉橋太志
    • Organizer
      数学基礎論サマースクール2015
    • Place of Presentation
      神戸大学
    • Year and Date
      2015-08-18
    • Invited
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Presentation] 0 = 1 の証明をもつ超準モデル2015

    • Author(s)
      倉橋太志
    • Organizer
      第2 回山陰基礎論・解析 学研究集会
    • Place of Presentation
      米子ファミリープラザ
    • Year and Date
      2015-01-24
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Presentation] Σn 定義な算術の不完全性定理2015

    • Author(s)
      倉橋太志・菊池誠
    • Organizer
      日本数学会2015 年度年会
    • Place of Presentation
      明治大学
    • Year and Date
      2015-03-22
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Presentation] 算術の超準モデルにおける定理と証明について2014

    • Author(s)
      菊池誠・倉橋太志
    • Organizer
      日本数学会2014 年秋季総合分科会
    • Place of Presentation
      広島大学
    • Year and Date
      2014-09-27
    • Data Source
      KAKENHI-PROJECT-26887045
  • 1.  菊池 誠
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi