Author:
Badia Guillermo,Marcos João
Funder
Johannes Kepler University Linz
Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference15 articles.
1. Areces, C., Becher, V., Ferro, S.: Characterization results for d-Horn formulas. In: Cavedon, L., Blackburn, P., Braisby, N., Shimojima, A. (eds.) Logic, Language and Computation, pp. 49–66. CSLI Publications, Stanford (2000)
2. Baker, K.A.: Equational axioms for classes of lattices. Bull. Am. Math. Soc. 77(1), 97–102 (1971)
3. Burris, S.N., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, Berlin (1981)
4. Casanovas, E., Dellunde, P., Jansana, R.: On elementary equivalence for equality-free logic. Notre Dame J. Form. Log. 37, 506–522 (1996)
5. Dellunde, P.: Equality-free logic: the method of diagrams and preservation theorems. Log. J. IGPL 7(6), 717–732 (1999)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献