Congruence relations and filters in some variety(Semigroups, Formal Languages and Computer Systems)

スポンサーリンク

概要

論文の詳細を見る

著者

関連論文

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)
Kleene Algebra and Modal Logic
Pseudoconsistent Logic and Tense Logic
Note on the semantics of logic programming (Languages, Algebra and Computer Systems)
Characterization Theorem of 4-valued de Morgan Logic
Annihilators in BCK-algebras(II)
Functional Freeness for the Berman Class K_ of Ockham Algebras
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)

もっと見る

スポンサーリンク