Validity and quantification in intuitionism

DOI10.1007/BF00253915zbMath0462.03001MaRDI QIDQ1153139

H. C. M. De Swart, Carl J. Posy

Publication date: 1981

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)

Cites Work

• Unnamed Item
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• Intuitionism. An introduction. 3rd revised ed
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces
• Elements of Intuitionistic Analysis II the Stone‐Weierstrass Theorem and Ascoli's Theorem
• An intuitionistically plausible interpretation of intuitionistic logic
• The Spectra of Unbounded Hyponormal Operators

This page was built for publication: Validity and quantification in intuitionism