A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人 日本数学会の論文

著者

• Motohashi Nobuyoshi

  Institute Of Mathematics Tsukuba University

関連論文

• The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996
• An axiomatization theorem
• A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics

スポンサーリンク