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

Journal Paper

Paper Information

مرکز اطلاعات علمی 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:

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

Download:

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

Cites:

Information Journal Paper

Title

Unification in lax logic

Pages

  61-75

Abstract

 In this paper, we focus on the intuitionistic propositional logic extended with a local operator [22] (also called nucleus [21]); such logic is commonly named lax logic after [9]. We prove that unification is finitary in this logic and supply algorithms for computing a basis of unifiers and for recognizing admissibility of inference rules, following analogous known results for intuitionistic logic.

Cites

  • No record.

    • References

  • No record.

    • Cite

    APA: Copy

    Ghilardi, S., & Lenzi, G.. (2022). Unification in lax logic. JOURNAL OF ALGEBRAIC HYPERSTRUCTURES AND LOGICAL ALGEBRAS, 3(1 ), 61-75. SID. https://sid.ir/paper/963289/en

    Vancouver: Copy

    Ghilardi S., Lenzi G.. Unification in lax logic. JOURNAL OF ALGEBRAIC HYPERSTRUCTURES AND LOGICAL ALGEBRAS[Internet]. 2022;3(1 ):61-75. Available from: https://sid.ir/paper/963289/en

    IEEE: Copy

    S. Ghilardi, and G. Lenzi, “Unification in lax logic,” JOURNAL OF ALGEBRAIC HYPERSTRUCTURES AND LOGICAL ALGEBRAS, vol. 3, no. 1 , pp. 61–75, 2022, [Online]. Available: https://sid.ir/paper/963289/en

    Related Journal Papers

  • No record.

    • Related Seminar Papers

  • No record.

    • Related Plans

  • No record.

    • Recommended Workshops






    Move to top
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button