On a cut-elimination in S2_4

スポンサーリンク

概要

• 論文の詳細を見る
• 福島工業高等専門学校の論文

著者

• 森川 治

  福島工業高等専門学校

関連論文

• 主観的認識推論システムの公理化
• マーケティングを意識した技術者教育
• ファジィ時相演算をもつ有限ファジィ様相論理の公理化
• Temporal Many Valued Logic with "Always" and "Until"
• Many Valued Temporal Logics
• 命題 Dynamic Logic
• プログラム様相論理(II)
• 様相論理のコンパクト定理
• On a cut-elimination in S2_4
• プログラム様相論理

スポンサーリンク