Lexicalized proof-theoretic Semantics for Natural Language

  • Dyckhoff, Roy (PI)

Project: Standard

Project Details

AcronymLexicalized Proof-Theoretic Semantics fo
Effective start/end date1/02/0731/08/07


  • EPSRC: £59,304.00


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • A note on harmony

    Dyckhoff, R. & Francez, N., Jun 2012, In: Journal of Philosophical Logic. 41, 3, p. 613–628 16 p.

    Research output: Contribution to journalArticlepeer-review

    40 Citations (Scopus)
  • Proof-Theoretic Semantics for a Natural Language Fragment

    Francez, N. & Dyckhoff, R., 2010, The Mathematics of Language. Berlin/Heidelberg: Springer, Vol. 6149. p. 56-71 16 p. (Lecture Notes in Computer Science; vol. 6149).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Citations (Scopus)
  • Proof-Theoretic Semantics for Subsentential Phrases

    Francez, N., Dyckhoff, R. & Ben Avi, G., Apr 2010, In: Studia Logica. 94, 3, p. 381-401 21 p.

    Research output: Contribution to journalArticlepeer-review

    29 Citations (Scopus)