Semi-boolean algebras and their applications to intuitionistic logic with dual operators (1974)

by C Rauszer
Venue:Fundamenta Mathematicae