Validity and quantification in intuitionism

DOI10.1007/BF00253915MaRDI QIDQ1153139zbMATH OpenFDO

Authors Harrie 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

• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• An intuitionistically plausible interpretation of intuitionistic logic
• Elements of Intuitionistic Analysis II the Stone‐Weierstrass Theorem and Ascoli's Theorem
• Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces
• Intuitionism. An introduction. 3rd revised ed
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• The Spectra of Unbounded Hyponormal Operators

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

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