An algebraic and Kripke-style approach to a certain extension of intuitionistic logic (1980)

by C Rauszer
Venue:Dissertationes Mathematicae