Matrix satisfiability and axiomatization.
ROBERT JOHN ACKERMANN · Notre Dame Journal of Formal Logic · 1971
NDJFAM 1. See [2]. 2. See [3]. 3. See [1], p. 50.A normal matrix in which B is {l} defines the calculus L n when the number of values n is identical with the number of values A in the matrix.Strictly, a normal matrix could have more than one designated value, so that Wajsberg's theorem applies to a larger class of calculi than the calculi L n .As only the calculi L n have assumed an important role in the literature, we will ignore this complication in what follows except for one remark preceding Lemma 10.