Rough algebra. (English) Zbl 0795.03035
Summary: We define a new binary connective in the modal system S5, which is interpreted as rough equality. Based on this connective, there originates an algebraic structure on the set of wffs of S5, which we call the rough algebra. We are also able to find a relation between the standard topological Boolean algebra associated with S5 and the rough algebra.