Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6874844 | Journal of Logical and Algebraic Methods in Programming | 2018 | 18 Pages |
Abstract
As corollaries we obtain the following results: the quasiequational theory of relational lattices over the pure lattice signature is undecidable and has no finite base; there is a quasiequation over the pure lattice signature which holds in all the finite relational lattices but fails in an infinite relational lattice.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Luigi Santocanale,