Intuitionistic uniformity principles for propositions and some applications

DOI10.1007/BF00713546zbMATH Open0463.03035MaRDI QIDQ1153079FDOQ1153079

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

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

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)