A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains

スポンサーリンク

概要

• 論文の詳細を見る

• The main purpose of this paper is to give a cut-free Gentzen-type sequential system for K4.3G of finite chains. The cut-elimination theorem is proved both model-theoretically and proof-theoretically.

• 京都大学の論文

著者

• Nishimura Hirokazu

  Research Institute For Mathematical Sciences Kyoto University

関連論文

• Heyting Valued Set Theory and Sato Hyperfunctions
• Some Applications of Boolean Valued Set Theory to Abstract Harmonic Analysis on Locally Compact Groups
• Propositional Dynamic Logic for Concurrent Programs
• Arithmetical Completeness in First-Order Dynamic Logic for Concurrent Programs
• An Approach to the Dimension Theory of Continuous Geometry from the Standpoint of Boolean Valued Analysis
• Semantical Analysis of Constructive PDL
• A Study of Some Tense Logics by Gentzen's Sequential Method
• A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains
• Boolean Valued Decomposition Theory of States

スポンサーリンク