西牟田 祐樹

セキュリティ・プロトコル検証に応用可能である分解不可能な論理結合子について 

科学哲学会 2018年10月13日

反映原理を用いた統合的論理結合子の特徴づけ 

科学基礎論学会 2018年6月16日

Girard’s Proof of Takeuti’s Conjecture 

手形L4研究集会 2018年3月27日  招待有り

Short History of Semantic Proofs for Takeuti’s Conjecture 

ラムダ計算と論理の早春セミナー 2018年3月24日

Relationship between Switchings and Introduction rules of Multiplicative Connectives 

Second Workshop on Mathematical Logic and its application 2018年3月5日

Generalized Connectives, Validity of Cut and Deducibility of Identical Condition 

French-Japanese Workshop “Philosophy of Logic and Mathematics” 2018年1月20日

一般化乗法的論理結合子のnon-decomposabilityの保存について 

RIMS共同研究「証明論と証明活動」 2017年12月25日

乗法的論理結合子の導入規則とスイッチングの関係について 

早稲田大学高等研究所主催「論理学の哲学」ワークショップ 2017年12月12日  招待有り

一般化乗法的論理結合子のnon-decomposabilityを保存する推論規則について 

MLG数理論理学研究集会 2017年12月2日

ジラールの統合的論理結合子に対する構文論的考察 

日本科学哲学会 2017年11月18日

証明網と焦点化による線形論理入門 

数学基礎論若手の会 2017年10月27日

一般化乗法的論理結合子の証明網 

数,論理,幾何と情報科学研究集会ALGI 2017年8月28日

乗法的論理結合子の一般化 

科学基礎論学会 2017年6月17日

On introduction rules of generalized connectives with proof-nets and substructural logics 

Philosophy of Logic and mathematics -Towards Philosophy of Proofs 2017年1月13日

Some remarks on introduction of generalized multiplicative connectives 

CNRS-PICS Meeting on Philosophy of Logic 2016年11月11日  招待有り

シーケント化定理が成り立たない乗法的論理結合子について 

科学基礎論学会 2016年6月19日

Towards a category model for proof rewriting 

ラムダ計算と論理の早春セミナー 2016年3月21日