On constructive functions ranging over propositions

DOI10.1007/BF00713547MaRDI QIDQ1153081zbMATH OpenOpenAlexFDO

Authors Horst Luckhardt

Publication date 1980

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00713547

zbMATH Keywords

constructive structuresconstructive truth-value mapping

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Other constructive mathematics (03F65)

Cites work

• Intuitionistic uniformity principles for propositions and some applications
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• The use of Kripke's schema as a reduction principle

Cited in

(1)

• Intuitionistic uniformity principles for propositions and some applications

This page was built for publication: On constructive functions ranging over propositions

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