#### Filter Results:

- Full text PDF available (10)

#### Publication Year

1984

2014

- This year (0)
- Last 5 years (4)
- Last 10 years (6)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Lauri Hella, Jouko A. Väänänen, Dag Westerståhl
- Journal of Logic, Language and Information
- 1997

- Dag Westerståhl
- Studia Logica
- 1989

- Dag Westerståhl
- J. Symb. Log.
- 1996

- Dag Westerståhl
- J. Philosophical Logic
- 2004

A semantics may be compositional and yet partial, in the sense that not all well-formed expressions are assigned meanings by it. Examples come from both natural and formal languages. When can such a semantics be extended to a total one, preserving compositionality? This sort of extension problem was formulated in Hodges [9], and solved there in a particular… (More)

- Denis Bonnay, Dag Westerståhl
- J. Philosophical Logic
- 2012

The standard semantic definition of consequence with respect to a selected set X of symbols, in terms of truth preservation under replacement (Bolzano) or reinterpretation (Tarski) of symbols outside X, yields a function mapping X to a consequence relation ⇒X . We investigate a function going in the other direction, thus extracting the constants of a given… (More)

- Dag Westerståhl
- Notre Dame Journal of Formal Logic
- 1984

- Dag Westerståhl
- Rew. Symb. Logic
- 2008

- Peter Pagin, Dag Westerståhl
- Journal of Logic, Language and Information
- 1993

A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including ‘donkey sentences’ and crosssentential anaphora. A proof system in natural deduction format is provided, and the formalism is compared with other accounts of this type of… (More)

- Dag Westerståhl
- Synthese
- 2012

Bolzano’s definition of consequence in effect associates with each set X of symbols (in a given interpreted language) a consequence relation ⇒X . We present this in a precise and abstract form, in particular studying minimal sets of symbols generating ⇒X . Then we present a method for going in the other direction: extracting from an arbitrary consequence… (More)