Intuitionistic uniformity principles for propositions and some applications

DOI10.1007/BF00713546zbMath0463.03035MaRDI QIDQ1153079

S. H. Smith

Publication date: 1980

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

disjunction propertyexistential definability

Mathematics Subject Classification ID

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

Related Items (2)

On constructive functions ranging over propositions ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs

Cites Work

• On constructive functions ranging over propositions
• The use of Kripke's schema as a reduction principle

This page was built for publication: Intuitionistic uniformity principles for propositions and some applications