Skip to content

Research at St Andrews

Proof-theoretic semantics for a natural language fragment,

Research output: Research - peer-reviewArticle


Original languageEnglish
JournalLinguistics and Philosophy
StatePublished - 2011

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Analyticity, balance and non-admissibility of Cut in Stoic Logic

    Bobzien, S. & Dyckhoff, R. 20 Apr 2018 In : Studia Logica. First Online, 23 p.

    Research output: Research - peer-reviewArticle

  2. Intuitionistic decision procedures since Gentzen

    Dyckhoff, R. 5 May 2016 Advances in Proof Theory. Kahle, R., Strahm, T. & Studer, T. (eds.). Birkhäuser Basel, p. 245-267 (Progress in Computer Science and Applied Logic; vol. 28)

    Research output: Research - peer-reviewChapter (peer-reviewed)

  3. POSIX lexing with derivatives of regular expressions (proof pearl)

    Ausaf, F., Dyckhoff, R. & Urban, C. 2016 Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. Blanchette, J. C. & Merz, S. (eds.). Springer, p. 69-86 18 p. (Lecture Notes in Computer Science; vol. 9807)

    Research output: ResearchConference contribution

  4. Some remarks on proof-theoretic semantics

    Dyckhoff, R. 2016 Advances in Proof-Theoretic Semantics. Piecha, T. & Schroeder-Heister, P. (eds.). Springer, p. 79-93 15 p. (Trends in Logic; vol. 43)

    Research output: Research - peer-reviewChapter (peer-reviewed)

Related by journal

  1. Scientific modelling in generative grammar and the dynamic turn in syntax

    Nefdt, R. M. Oct 2016 In : Linguistics and Philosophy. 39, 5, p. 357-394 38 p.

    Research output: Research - peer-reviewArticle

  2. Monkey semantics: two ‘dialects’ of Campbell’s monkey alarm calls

    Schlenker, P., Chemla, E., Arnold, K., Lemasson, A., Ouattara, K., Keenan, S. E., Stephan, C., Ryder, R. & Zuberbuhler, K. 28 Nov 2014 In : Linguistics and Philosophy. 37, 6, p. 439-501

    Research output: Research - peer-reviewArticle

  3. It Is Raining (Somewhere)

    Recanati, F. G. Feb 2007 In : Linguistics and Philosophy. 30, 1, p. 123-146 24 p.

    Research output: Research - peer-reviewArticle

ID: 13530421