科研之友
微信
新浪微博
Facebook
分享链接
摘要
An algebraically expandable class is a class of algebras axiomatizable by a set of sentences of the form for all there exists! boolean AND p = q. We find all algebraically expandable classes in the variety of implication algebras. A representation result for finite implication algebras is proved, and we also give a characterization of the class of congruence permutable implication algebras.
- 出版日期2010-8
