TY - GEN
T1 - Proving implications by algebraic approximation
AU - Codish, Michael
AU - Mashevitzky, Grigory
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1994.
PY - 1994/1/1
Y1 - 1994/1/1
N2 - This paper applies techniques of algebraic approximation to provide effective algorithms to determine the validity of universally quantified implications over lattice structures. We generalize the known result which states that any semilattice is approximated in the two element lattice. We show that the validity of a universally quantified implication ψ over a possibly infinite domain can be determined by examining its validity over a simpler domain the size of which is related to the number of constants in ψ. Both the known as well as the new results have high potential in providing practical automated techniques in various areas of application in computer science.
AB - This paper applies techniques of algebraic approximation to provide effective algorithms to determine the validity of universally quantified implications over lattice structures. We generalize the known result which states that any semilattice is approximated in the two element lattice. We show that the validity of a universally quantified implication ψ over a possibly infinite domain can be determined by examining its validity over a simpler domain the size of which is related to the number of constants in ψ. Both the known as well as the new results have high potential in providing practical automated techniques in various areas of application in computer science.
UR - http://www.scopus.com/inward/record.url?scp=21844492321&partnerID=8YFLogxK
U2 - 10.1007/3-540-58431-5_4
DO - 10.1007/3-540-58431-5_4
M3 - Conference contribution
AN - SCOPUS:21844492321
SN - 9783540584315
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 6
EP - 22
BT - Algebraic and Logic Programming - 4th International Conference, ALP 1994, Proceedings
A2 - Levi, Giorgio
A2 - Rodriguez-Artalejo, Mario
PB - Springer Verlag
T2 - 4th International Conference on Algebraic and Logic Programming, ALP 1994
Y2 - 14 September 1994 through 16 September 1994
ER -