Predicate logic with flexibly binding operators and natural language semantics

@article{Pagin1993PredicateLW,
  title={Predicate logic with flexibly binding operators and natural language semantics},
  author={Peter Pagin and Dag Westerst{\aa}hl},
  journal={Journal of Logic, Language and Information},
  year={1993},
  volume={2},
  pages={89-128}
}
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 anaphora, in particular Dynamic Predicate Logic. 

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
7 Extracted Citations
11 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 11 references

Logic and the flow of information”, to appear in D

  • J. van Benthem
  • Prawitz et al., Proceedings of the 9th…
  • 1991
1 Excerpt

A compositional approach to discourse representation the

  • H. Zeevat
  • Linguistics and Philosophy
  • 1989
1 Excerpt

A compositional approach to discourse representation theory

  • H. Zeevat
  • Linguistics and Philosophy
  • 1989
1 Excerpt

How non-context free is variable binding?

  • W. Marsh, B. Partee
  • Proceedings of the West Coast Conference on…
  • 1984
1 Excerpt

The Semantics of Definite and Indefinite Noun Phrases

  • I. Heim
  • Ph. D. Thesis, Univ. of Massachusetts
  • 1982
2 Excerpts

A theory of truth and semantic representation

  • H. Kamp
  • in J. Groenendijk et al. (eds.), Formal Methods…
  • 1981
2 Excerpts

Formal Philosophy, ed

  • R. Montague
  • 1974
2 Excerpts

Similar Papers

Loading similar papers…