supported by the NNSF (10471035,10771056) of China
Let (L, 〈, V, A) be a complete Heyting algebra. In this article, the linear system Ax = b over a complete Heyting algebra, where classical addition and multiplication operations are replaced by V and A respectively...