Contents

Superproducts, Hyperidentities, and Algebraic Structures of Logic Programming

Yu. M. Movsisyan1, A.B. Romanowska2, J. D. H. Smith3
1Department of Mathematics, Yerevan State University, 375025 Yerevan, Armenia
2Faculry of Mathematics and Information Sciences, Warsaw University of Technology, 00-661 Warsaw, Poland
3Sdepartment Of Mathematics, Iowa State University, Ames, Iowa 50011-2064, U.S.A.

Abstract

Recent developments in logic programming are based on bilattices (algebras with two separate lattice structures). This paper provides characterizations and structural descriptions for bilattices using the algebraic concepts of superproduct and hyperidentity. The main structural description subsumes the many variants that have appeared in the literature.