WEAK IMPLICATION - THEORY AND APPLICATIONS

被引：0
|
作者：
KWAST, KL
VANDENNEHEUVEL, S
机构：
来源：
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 633卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：65 / 83
页数：19
相关论文
共 50 条
  • [21] Weak θ-contractions and some fixed point results with applications to fractal theory
    Imdad, Mohammad
    Alfaqih, Waleed M.
    Khan, Idrees A.
    ADVANCES IN DIFFERENCE EQUATIONS, 2018,
  • [22] Weak θ-contractions and some fixed point results with applications to fractal theory
    Mohammad Imdad
    Waleed M. Alfaqih
    Idrees A. Khan
    Advances in Difference Equations, 2018
  • [23] Theory of weak bipolar fields and electron holes with applications to space plasmas
    Goldman, Martin V.
    Newman, David L.
    Mangeney, Andre
    PHYSICAL REVIEW LETTERS, 2007, 99 (14)
  • [24] The theory of implication.
    Russell, B
    AMERICAN JOURNAL OF MATHEMATICS, 1906, 28 : 159 - 202
  • [25] GENERAL THEORY OF IMPLICATION
    URQUHART, A
    JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (02) : 443 - &
  • [26] Symmetric implication zroupoids and weak associative laws
    Juan M. Cornejo
    Hanamantagouda P. Sankappanavar
    Soft Computing, 2019, 23 : 6797 - 6812
  • [27] Implication of the weak phase β measured in B → ργ decay
    Kim, CS
    Kim, YG
    Lee, KY
    ICHEP 2005: PROCEEDINGS OF THE 32ND INTERNATIONAL CONFERENCE HIGH ENERGY PHYSICS VOLS 1 AND 2, 2005, : 837 - 840
  • [28] Symmetric implication zroupoids and weak associative laws
    Cornejo, Juan M.
    Sankappanavar, Hanamantagouda P.
    SOFT COMPUTING, 2019, 23 (16) : 6797 - 6812
  • [29] Fuzzy weak orders representable by implication operators
    Sali, AC
    Sali, A
    ICCC 2004: SECOND IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL CYBERNETICS, PROCEEDINGS, 2004, : 395 - 397
  • [30] Weak implication in terms of conditional uncertainty measures
    Coletti, Giulianella
    Scozzafava, Romano
    Vantaggi, Barbara
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2007, 4724 : 139 - +
12345