Singly generated quasivarieties and residuated structures
Moraschini, T.; Raftery, J. G.; Wannenburg, J. J.;
Subject: Mathematics - Logic
A quasivariety K of algebras has the joint embedding property (JEP) iff it is generated by a single algebra A. It is structurally complete iff the free countably generated algebra in K can serve as A. A consequence of this demand, called "passive structural completeness... View more
 A.R. Anderson, N.D. Belnap, Jnr., 'Entailment: The Logic of Relevance and Necessity, Vol. 1', Princeton University Press, 1975.
 A. Avron, What is relevance logic?, Ann. Pure Appl. Logic 165 (2014), 26-48.
 C. Bergman, Structural completeness in algebra and logic, in H. Andr´eka, J.D. Monk and I. Nemeti (eds.), 'Algebraic Logic', Colloquia Mathematica Societatis J´anos Bolyai Vol. 54, North-Holland, Amsterdam, 1991, pp. 59-73.
 C. Bergman, R. McKenzie, Minimal varieties and quasivarieties, J. Austral. Math. Soc. Ser. A 48 (1990), 133-147.
 G. Bezhanishvili, T. Moraschini, J.G. Raftery, Epimorphisms in varieties of residuated structures, J. Algebra 492 (2017), 185-211.
 W.J. Blok, D. Pigozzi, On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15 (1982), 195-227.
 W.J. Blok, D. Pigozzi, 'Algebraizable Logics', Memoirs of the American Mathematical Society 396, Amer. Math. Soc., Providence, 1989.
 S. Burris, H.P. Sankappanavar, 'A Course in Universal Algebra', Graduate Texts in Mathematics, Springer-Verlag, New York, 1981.
 M.A. Campercholi, D.J. Vaggione, Implicit definition of the quaternary discriminator, Algebra Universalis 68 (2012), 1-16.