On the hypothetical judgement in the history of intuitionistic logic

MaRDI QIDQ4630799zbMATH OpenFDO

Authors Mark van Atten

Publication date 23 April 2019

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Recent progress on quasi-periodic lattice Schrödinger operators and Hamiltonian PDEs
• On Brouwer's criticism of classical logic and mathematics
• Intuitionistic logic and the creative subject
• scientific article; zbMATH DE number 218494
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments

Cited in

(7)

• scientific article; zbMATH DE number 218494 (Why is no real title available?)
• Truth and proof in intuitionism
• Disjunctive syllogism without \textit{ex falso}
• Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
• Reasoning about proof and knowledge
• Recent progress on quasi-periodic lattice Schrödinger operators and Hamiltonian PDEs
• The context of inference

This page was built for publication: On the hypothetical judgement in the history of intuitionistic logic

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