Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings

Weak Implication: Theory and Applications

K. Kwast
S. van Denneheuvel
Journal / Anthology

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

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.

*Applied Mathematics > Computer Science