Modal operators on symmetrical Heyting algebras
Tom 9 / 1982
Banach Center Publications 9 (1982), 289-303
DOI: 10.4064/-9-1-289-303