Semantics for some intermediate logics. Božić, Milan (1985) Publications de l'Institut Mathématique. Nouvelle Série
Semi-Boolean algebras and their applications to intuitionistic logic with dual operations Cecylia Rauszer (1974) Fundamenta Mathematicae