Skolem's discovery of Gödel-Dummett logic
From MaRDI portal
Publication:1868245
DOI10.1023/A:1022997524909zbMath1015.03005MaRDI QIDQ1868245
Publication date: 27 April 2003
Published in: Studia Logica (Search for Journal in Brave)
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
For Want of an ‘And’: A Puzzle about Non-Conservative Extension, Farewell to suppression-freedom, Gödel algebras: interactive dualities and their applications., In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs, Decision methods for linearly ordered Heyting algebras, Multicomponent proof-theoretic method for proving interpolation properties, Constructing illoyal algebra-valued models of set theory, Free algebras in varieties of BL-algebras generated by a BLn-chain