On constructive functions ranging over propositions

DOI10.1007/BF00713547zbMath0463.03036OpenAlexW2072598298MaRDI QIDQ1153081

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

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

Related Items (1)

Intuitionistic uniformity principles for propositions and some applications

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

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