
Summary: 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 by \textit{J. Czelakowski} [Protoalgebraic logics. Dordrecht: Kluwer (2001; Zbl 0984.03002)] and implicitly by \textit{B. Herrmann} [Stud. Log. 57, No.~2--3, 419--436 (1996; Zbl 0864.03043)].
finitary, Abstract deductive systems, quasivariety, algebraizable, consequence relation, Abstract algebraic logic, deductive system
finitary, Abstract deductive systems, quasivariety, algebraizable, consequence relation, Abstract algebraic logic, deductive system
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 5 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
