Search
Close this search box.

Contents

Journal of Combinatorial Mathematics and Combinatorial Computing

  • Research article

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.
  • Published: 31/08/2006

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.

Information
Guidelines
CP Initiatives
Follow CP
Facebook Twitter Linkedin
1970-2024 CP (Manitoba, Canada) unless otherwise stated.
Citation
Yu. M. Movsisyan, A.B. Romanowska, J. D. H. Smith. Superproducts, Hyperidentities, and Algebraic Structures of Logic Programming[J], Journal of Combinatorial Mathematics and Combinatorial Computing, Volume 058. 101-111. DOI: .