Characterization Classes Defined without Equality
暂无分享,去创建一个
[1] George Gratzer,et al. Universal Algebra , 1979 .
[2] Stanley Burris,et al. A course in universal algebra , 1981, Graduate texts in mathematics.
[3] Wolfgang Wechler,et al. Universal Algebra for Computer Scientists , 1992, EATCS Monographs on Theoretical Computer Science.
[4] Another proof that ISPr(K) is the least quasivariety containing K , 1982 .
[5] W. Blok. Algebraic Semantics for Universal Horn Logic Without Equality , 1992 .
[6] P. M. Cohn,et al. THE METAMATHEMATICS OF ALGEBRAIC SYSTEMS , 1972 .
[7] G. Grätzer,et al. A note on the implicational class generated by a class of structures , 1973 .
[8] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .
[9] Some theorems on structural entailment relations , 1983 .
[10] J. Czelakowski. Reduced products of logical matrices , 1980 .
[11] Raimon Elgueta Montó. Algebraic model theory for languages without equality , 1994 .