Localization of tetravalent modal algebras

摘要

The main aim of this paper is to define the localization of a tetravalent modal algebra A with respect to a topology ? on A. In Sec. 5, we prove that the tetravalent modal algebra of fractions relative to a ∧-closed system (defined in Definition 3.1) is a tetravalent modal algebra of localization.