Mathematica 9 is now available

Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

Weak Implication: Theory and Applications
Authors

K. Kwast
S. van Denneheuvel
Journal / Anthology

Lecture Notes in Artificial Intelligence
Year: 1992
Volume: 633
Page range: 65-83
Description

We study a generalization of the classical notion of implication, called weak implication. It extends unquantified predicate logic with a single level of existential quantification. We present a sound and complete set of deduction rules for weak implications. The notion of weak implication was introduced for the sake of a formal specification of a symbolic constraint solving system. Other practical applications of can be found in the realm of relational database theory: query normalization and integrity constraints in the context of views.
Subject

*Applied Mathematics > Computer Science