A Set Theory Based on a Certain 3-Valued Logic.
From MaRDI portal
Publication:3274969
DOI10.7146/math.scand.a-10600zbMath0096.24301MaRDI QIDQ3274969
Publication date: 1960
Published in: MATHEMATICA SCANDINAVICA (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/165740
Related Items
Representation of Łukasiewicz' many-valued algebras, Thoralf Skolem in memoriam (1887-1963), Variations on a theme of Curry, Toward useful type-free theories. I