Logic characterized by Boolean algebras with conjugate (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)

スポンサーリンク

概要

• 論文の詳細を見る
• 2013-08-00

著者

• 近藤 通朗

  東京電機大学情報環境学部

関連論文

• Topology on commutative residuated lattices (Algebras, Languages, Algorithms in Algebraic Systems and Computations)
• Commutative residuated latticesで特徴づけられる論理について (代数、言語のアルゴリズムと計算理論)
• On lattices with Elkan's formula(Algebras, Languages, Computations and their Applications)
• On orthocomplemented lattices with Elkan's law(Algorithmic problems in algebra, languages and computation systems)
• Algebraic generalization of rough sets (Algebra, Languages and Computation)
• On the structure of weak interlaced bilattice $\mathcal{K}(\rm{L})$ (Algorithms in Algebraic Systems and Computation Theory)
• On structures of weak interlaced bilattices (Algebraic Semigroups, Formal Languages and Computation)
• Note on the semantics of logic programming (Languages, Algebra and Computer Systems)
• Congruence relations and filters in some variety(Semigroups, Formal Languages and Computer Systems)
• Classification of residuated lattices by filters (Algebras, Languages, Algorithms and Computations)
• Filter theory of non-commutative residuated lattices (Algebraic Systems and Theoretical Computer Science)
• Logic characterized by Boolean algebras with conjugate (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)
• States on residuated lattices (Algebra and Computer Science)

もっと見る 閉じる

スポンサーリンク