 Equivalential logics were first considered as a class of logics deserving to be studied in Prucnal &amp; Wroński 1974, and they were studied extensively in Czelakowski 1981; see also Czelakowski 2001.