No label defined (Q4025819)

A four-valued modal algebra (FM-algebra) \((A,+,^*,\sim,\nabla,1)\) is an algebra of type (2,2,1,1,0) such that \((A,+,^*,\sim,1)\) is a De Morgan algebra, and \(\nabla\) satisfies the following conditions: (i) \(\sim x+\nabla x=1\), (ii) \(x^*\sim x=\sim x^*\nabla x\). The weak implication \(\to\) is definable in an FM-algebra in the following way \(x\to y= \nabla\sim x+y\). A subset \(D\) is an FM-algebra \(A\) is a deductive system of \(A\) if \(D\) contains the unit element 1, and for any \(x\), \(y\) from \(A\), if \(x\to y\) is in \(D\) then \(y\) is in \(D\). The author proves that there is a one-to-one correspondence between congruences and deductive systems of FM-algebras, and therefore deductive systems play the same role for FM-algebras as filters for Heyting algebras.