科研之友
微信
新浪微博
Facebook
分享链接
摘要
Abstract(#br)We study the variety of equivalential algebras with zero and its subquasivariety that gives the equivalent algebraic semantics for the ( ? , ? ) ‐fragment of intuitionistic propositional logic. We prove that this fragment is hereditarily structurally complete. Moreover, we effectively c...
