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

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)

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

- Peter Heß, Wolfgang Arendt
- 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

- Predrag Tanovic
- Ann. Pure Appl. Logic
- 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

- Nicholas E Dixon
- 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

- Anna Chwastyk
- 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

- Frank Veltman
- J. Semantics
- 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

- Henry Prakken
- 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

- James Harland
- JICSLP
- 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?