On the hypothetical judgement in the history of intuitionistic logic

zbMATH Open1419.03015MaRDI QIDQ4630799FDOQ4630799

Authors: Mark van Atten 

Publication date: 23 April 2019

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

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)

Cited In (7)

• Truth and proof in intuitionism
• Reasoning about proof and knowledge
• Disjunctive syllogism without \textit{ex falso}
• Recent progress on quasi-periodic lattice Schrödinger operators and Hamiltonian PDEs
• Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
• Title not available (Why is that?)
• 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)