A Set Theory Based on a Certain 3-Valued Logic.

DOI10.7146/MATH.SCAND.A-10600MaRDI QIDQ3274969zbMATH OpenOpenAlexFDO

Authors Thoralf Skolem

Publication date 1960

Published in MATHEMATICA SCANDINAVICA (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/165740

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(7)

• Representation of Łukasiewicz' many-valued algebras
• Thoralf Skolem in memoriam (1887-1963)
• Variations on a theme of Curry
• One step is enough
• Paths to triviality
• Toward useful type-free theories. I
• Class theory in HYPE

This page was built for publication: A Set Theory Based on a Certain 3-Valued Logic.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3274969)