Notes on \(\eta\)-lattices and constructive logic with strong negation
scientific article; zbMATH DE number 3598470