2-Element matrices

Sections 1, 2 and 3 contain the main result, the strong finite axiomatizability of all 2-valued matrices. Since non-strongly finitely axiomatizable 3-element matrices are easily constructed the result reveals once again the gap between 2-valued and multiple-valued logic. Sec. 2 deals with the basic cases which include the important Fi∞ from Post's classification. The procedure in Sec. 3 reduces the general problem to these cases. Sec. 4 is a study of basic algebraic properties of 2-element algebras. In particular, we show that equational completeness is equivalent to the Stone-property and that each 2-element algebra generates a minimal quasivariety. The results of Sec. 4 will be applied in Sec. 5 to maximality questions and to a matrix free characterization of 2-valued consequences in the lattice of structural consequences in any language. Sec. 6 takes a look at related axiomatization. problems for finite algebras and matrices. We study the notion of a propositional consequence with equality and, among other things, present explicit axiomatizations of 2-valued consequences with equality.

[1]  Kenneth A. Berman,et al.  A note on coloured quadrangulations , 1980, Discret. Math..

[2]  R. Wójcicki.  Matrix approach in methodology of sentential calculi , 1973 .

[3]  A. Ol'shanskii.  Conditional identities in finite groups , 1974 .

[4]  P. Wojtylak.  Matrix representations for structural strengthenings of a propositional logic , 1979 .

[5]  Emil L. Post.  The two-valued iterative systems of mathematical logic , 1942 .

[6]  R. Lyndon.  Identities in two-valued calculi , 1951 .

[7]  A. Pixley,et al.  Functionally complete algebras generating distributive and permutable classes , 1970 .

[8]  B. Jonnson.  Algebras Whose Congruence Lattices are Distributive. , 1967 .

[9]  Joel Berman,et al.  A proof of Lyndon's finite basis theorem , 1980, Discret. Math..

[10]  Walter Taylor,et al.  The fine spectrum of a variety , 1975 .

[11]  A finite algebraA withSP(A) not elementary , 1978 .

[12]  R. Quackenbush.  Algebras with minimal spectrum , 1980 .

[13]  A. Selman.  Completeness of calculii for axiomatically defined classes of algebras , 1972 .

[14]  Leon Henkin,et al.  Fragments of the propositional calculus , 1949, Journal of Symbolic Logic.

[15]  Kirby A. Baker.  Congruence—distributive polynomial reducts of lattices , 1979 .

[16]  J. Łoś,et al.  Remarks on sentential logics , 1958 .

[17]  I. Rosenberg,et al.  completeness properties of multiple-valued logic algebras , 1977 .

[18]  P. Krauss,et al.  Varieties generated by para primal algebras , 1977 .

[19]  Stanisław J. Surma,et al.  Studies in the history of mathematical logic , 1973 .

[20]  Wolfgang Rautenberg,et al.  Klassische und nichtklassische Aussagenlogik , 1979 .