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 (8)
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
This page was built for publication: Skolem's discovery of Gödel-Dummett logic
