مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Persian Verion
Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Persian Version

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

View:

559
Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Download:

233
Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Cites:

Information Journal Paper

Title

Equality propositional logic and its extensions

Pages

  125-137

Abstract

 We introduce a new formal logic, called equality propositional logic. It has two basic connectives, ^ (conjunction) and ≡ (equivalence). Moreover, the ⇒ (implication) connective can be derived as A ⇒ B: = (A ^ B) ≡ A. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such as Modus Ponens(MP) rule, Hypothetical Syllogism(HS) rule and completeness, etc. Especially, we provide two ways to prove the completeness of this logic system. We also introduce two extensions of equality propositional logic. The first one is involutive equality propositional logic, which is equality propositional logic with double negation. The second one adds prelinearity which is rich enough to enjoy the strong completeness property. Finally, we introduce additional connective Δ (delta) in equality propositional logic and demonstrate that the resulting logic holds soundness and completeness.

Cites

  • No record.

    • References

  • No record.

    • Cite

    APA: Copy

    Gao, X.L., & Xin, X.L.. (2019). Equality propositional logic and its extensions. IRANIAN JOURNAL OF FUZZY SYSTEMS, 16(5 ), 125-137. SID. https://sid.ir/paper/113421/en

    Vancouver: Copy

    Gao X.L., Xin X.L.. Equality propositional logic and its extensions. IRANIAN JOURNAL OF FUZZY SYSTEMS[Internet]. 2019;16(5 ):125-137. Available from: https://sid.ir/paper/113421/en

    IEEE: Copy

    X.L. Gao, and X.L. Xin, “Equality propositional logic and its extensions,” IRANIAN JOURNAL OF FUZZY SYSTEMS, vol. 16, no. 5 , pp. 125–137, 2019, [Online]. Available: https://sid.ir/paper/113421/en

    Related Journal Papers

    Related Seminar Papers

  • No record.

    • Related Plans

  • No record.

    • Recommended Workshops





    Move to top