Switch to: References

Add citations

You must login to add citations.
  1. On self‐distributive weak Heyting algebras.Mohsen Nourany, Shokoofeh Ghorbani & Arsham Borumand Saeid - 2023 - Mathematical Logic Quarterly 69 (2):192-206.
    We use the left self‐distributive axiom to introduce and study a special class of weak Heyting algebras, called self‐distributive weak Heyting algebras (SDWH‐algebras). We present some useful properties of SDWH‐algebras and obtain some equivalent conditions of them. A characteristic of SDWH‐algebras of orders 3 and 4 is given. Finally, we study the relation between the variety of SDWH‐algebras and some of the known subvarieties of weak Heyting algebras such as the variety of Heyting algebras, the variety of basic algebras, the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.
    This article is about Avicenna’s account of syllogisms comprising opposite premises. We examine the applications and the truth conditions of these syllogisms. Finally, we discuss the relation between these syllogisms and the principle of non-contradiction.
    Download  
     
    Export citation  
     
    Bookmark  
  • Interpolation Property on Visser's Formal Propositional Logic.Majid Alizadeh & Masoud Memarzadeh - 2022 - Bulletin of the Section of Logic 51 (3):297-316.
    In this paper by using a model-theoretic approach, we prove Craig interpolation property for Formal Propositional Logic, FPL, Basic propositional logic, BPL and the uniform left-interpolation property for FPL. We also show that there are countably infinite extensions of FPL with the uniform interpolation property.
    Download  
     
    Export citation  
     
    Bookmark  
  • Basic propositional logic and the weak excluded middle.Majid Alizadeh & Mohammad Ardeshir - 2019 - Logic Journal of the IGPL 27 (3):371-383.
    Download  
     
    Export citation  
     
    Bookmark