N-lattices and constructive logic with strong negation
Volume 46 / 1958
Fundamenta Mathematicae 46 (1958), 61-80
DOI: 10.4064/fm-46-1-61-80
