kurahashi taishi 倉橋太志

… Alternative Names

Researcher Number	10738446
Other IDs
Affiliation (Current)	2021: 神戸大学, システム情報学研究科, 准教授
Affiliation (based on the past Project Information) *help	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

Research of formal provability by means of the investigation of incompleteness theoremsPrincipal InvestigatorOngoing
- 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
  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 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] 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] 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: -
- 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: １６７ 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] 部分保存的な文に関する 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

kurahashi taishi 倉橋 太志

Kurahashi Taishi 倉橋 太志

Research Projects

Research Products

Co-Researchers

Research of formal provability by means of the investigation of incompleteness theoremsPrincipal InvestigatorOngoing

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research of the structure of proofs in nonstandard models and formal theoriesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research of formal provability by means of the analysis of provability predicatesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] Uniform Lyndon interpolation property in propositional modal logics2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Rosser provability and normal modal logics2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On arithmetical completeness of the Logic of Proofs2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Rosser provability and the second incompleteness theorem2019

Author(s)

Journal Title

Data Source

[Journal Article] Fixed-point properties for predicate modal logics2019

Author(s)

Journal Title

Data Source

[Journal Article] Provability logics relative to a fixed extension of Peano Arithmetic2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On partial disjunction properties of theories containing Peano arithmetic2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Arithmetical Soundness and Completeness for Σ2 Numerations2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Arithmetical Completeness Theorem for Modal Logic K2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] GENERALIZATIONS OF GODEL'S INCOMPLETENESS THEOREMS FOR ∑n-DEFINABLE THEORIES OF ARITHMETIC2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Universal Rosser predicates2017

Author(s)

Journal Title

DOI

kurahashi taishi 倉橋太志

Kurahashi Taishi 倉橋太志