Beyond Rasiowan systems: unital deductive systems (Q2254559)

This paper introduces and investigates some classes of deductive systems, called \textit{unital} and \textit{weakly implicative} deductive systems, and relates them to well-known classes studied in abstract algebraic logic, such as Fregean or equivalential systems. Given a unital system \(\mathcal{S}\) of type \(\mathcal{L}\) and a theory \(\Sigma_{\mathcal{S}}\), the quotient \(\mathfrak{F}_{\mathcal{L}}/\Theta\left( \Sigma_{\mathcal{S}}\right) \) of the term algebra \(\mathfrak{F}_{\mathcal{L}}\) has the property that its element \(\Sigma_{\mathcal{S}}\) has some of the properties of deductive filters in singular logical matrices. In other words, it is possible to give an algebraic semantics for unital systems that is to some extent independent of the concept of logical matrix and can be given solely in terms of the corresponding algebras. Unfortunately, the paper fails to mention previously published and highly relevant work done by \textit{P. Cintula} and \textit{C. Noguera}, e.g. [Arch. Math. Logic 49, No. 4, 417--446 (2010; Zbl 1196.03013)].