Skip to search formSkip to main contentSkip to account menu

Independence of premise

In proof theory and constructive mathematics, the principle of independence of premise states that if φ and ∃ x θ are sentences in a formal theory… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
  • Y. Akama
  • Mathematical Structures in Computer Science
  • 2014
  • Corpus ID: 14639578
For any partial combinatory algebra (PCA for short) $\mathcal{A}$, the class of $\mathcal{A}$-representable partial functions… 
2011
2011
We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus… 
1993
1993
1992
1992
It is known that larger classes of formulae than Horn clauses may be used as logic programming languages. One such class of…