Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity (Q283093)

The paper is a continuation of [the authors, Arch. Math. Logic 49, No. 4, 417--446 (2010; Zbl 1196.03013)]. An abstract algebraic logic \(L\) with implication \(\Rightarrow\) is semilinear if the following meta-rule holds: \[ \frac{\Gamma,\phi \Rightarrow \psi \vdash_L \chi \quad \Gamma,\psi \Rightarrow \phi \vdash_L \chi}{\Gamma \vdash_L \chi}. \] It has been proven that for finitary semilinear logics \(L\) in which implication is defined by a finite set of formulas, the models of \(L\) are precisely relatively subdirectly irreducible algebras. This class of models is related also to a disjunction with different flavors of proof by cases property, which was studied in [Stud. Log. 101, No. 4, 713--747 (2013; Zbl 1316.03040)]. This makes it possible to give a characterization of semilinearity in terms of properties of disjunction.