scientific article; zbMATH DE number 124114
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.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4025819)
