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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1992-2016
01219922016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
We study the Lp-spectrum of the Dirac operator on complete manifolds. One of the main questions in this context is whether this… (More)
  • figure 1
Is this relevant?
2011
2011
We study effective categoricity of computable abelian groups of the form ⊕ i∈ω H, where H is a subgroup of (Q,+). Such groups are… (More)
Is this relevant?
2010
2010
It is shown that the spectrum of a uniformly elliptic operator on L(Q) with Dirichlet or Neumann boundary conditions is… (More)
Is this relevant?
Review
2010
Review
2010
Let T be a complete, countable, first-order theory having infinite models. We introduce types directed by constants, and prove… (More)
Is this relevant?
Review
2010
Review
2010
Ever since Darwin people have worried about the sceptical implications of evolution. If our minds are products of evolution like… (More)
Is this relevant?
2009
2009
Although supporters of vegetarianism (and animals' interests in general) come in many varieties, we may distinguish two groups… (More)
Is this relevant?
2007
2007
A non-empty set X of a carrier A of an algebra A is called Q-independent if the equality of two term functions f and g of the… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This paper provides an update semantics for counterfactual conditionals. It does so by giving a dynamic twist to the ‘Premise… (More)
Is this relevant?
2002
2002
This paper investigates to what extent natural-language arguments in legal discourse can be regarded as containing unexpressed… (More)
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… (More)
Is this relevant?