𝐾-modal 𝐵𝐿-logic
Masoud Haveshki and Mahboobeh Mohamadhasani
Eslami et al. [Journal of Intelligent & Fuzzy systems, 29:337-388, (2015)] introduced 𝐾-modal 𝐵𝐿-logic and claimed this logic is sound with respect to 𝐾-modal 𝐵𝐿-algebras. We prove this claim is wrong. We construct a new logic and prove this logic is sound and complete with respect to 𝐾-modal 𝐵𝐿-algebras.
Keywords: 𝐵𝐿-logic, 𝐾-modal 𝐵𝐿-logic, soundness theorem
2010 Mathematics Subject Classification: 03B52, 03B45