Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
  • Yohji Akama
  • Math. Struct. Comput. Sci.
  • 2014
  • Corpus ID: 14639578
For any partial combinatory algebra (PCA for short) A, the class of A-representable partial functions from N to A quotiented by… Expand
  • figure 1
Is this relevant?
2011
2011
We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus… Expand
Is this relevant?
2001
2001
in English and Danish Motivated by David Hilbert’s program and philosophy of mathematics we give in the context of natural… Expand
Is this relevant?
1993
1993
Abstract We introduce the foundational issues involved in incorporating the NEGATION as FAILURE (NAF) rule into the framework of… Expand
  • figure 1
Is this relevant?
1992
1992
It is known that larger classes of formulae than Horn clauses may be used as logic programming languages. One such class of… Expand
Is this relevant?