The Completeness Theorems for Some Intuitionistic Epistemic Logics in Terms of Interval Semantics

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Kondo Michiro

  Department Of Computer And Information Science Shimane University

関連論文

• CONGRUENCES AND CLOSED IDEALS IN BCI-ALGEBRAS
• CONGRUENCES ON HYPER BCK-ALGEBRAS
• DUALITY THEOREM FOR p-SEMISIMPLE BCI-ALGEBRA
• NOTE ON THE BCI-G PART OF BCI-ALGEBRAS
• HILBERT ALGEBRAS ARE DUAL ISOMORPHIC TO POSITIVE IMPLICATIVE BCK-ALGEBRAS
• MODAL LOGIC AND IMPLICATIONAL FUZZY ALGEBRA
• REMARKS ON BCK-SEMILATTICES
• (H)-HILBERT ALGEBRAS ARE SAME AS HERTZ ALGEBRAS
• ANNIHILATORS IN BCK-ALGEBRAS
• ON (^*)-IDEALS IN BCI-ALGEBRAS
• CONDITIONS FOR L(X) TO BE AN IDEAL IN BCI-ALGEBRAS
• ON THE ASLAM AND THAHEEM'S OPEN PROBLEM
• The Completeness Theorems for Some Intuitionistic Epistemic Logics in Terms of Interval Semantics
• Solutions for Porte's Conjectures

もっと見る 閉じる

スポンサーリンク