MVLSC Home • Issue Contents

𝐾-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

Full Text (IP)