Intuitionistic uniformity principles for propositions and some applications

DOI10.1007/BF00713546MaRDI QIDQ1153079zbMATH OpenFDO

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

Cites work

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

Cited in

(2)

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

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

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