科研之友
微信
新浪微博
Facebook
分享链接
摘要
We exhibit a non-finitary sentential logic that is algebraized by a quasivariety-in fact by a finitely based variety of finite type. The algebraization process requires infinitely many defining equations. The existence of such a logic settles a question posed in Czelakowski (2001, Protoalgebraic Logics) and implicit in Herrmann (1996, Studia Logica, 57, 419-436).
- 出版日期2010-8
