Skip to main content

9 Result(s)

within Robin Cooper Remove this filter Logic Remove this filter

and

  1. Article

    Open Access

    Representing Types as Neural Events

    One of the claims of Type Theory with Records is that it can be used to model types learned by agents in order to classify objects and events in the world, including speech events. That is, the types can be re...

    Robin Cooper in Journal of Logic, Language and Information (2019)

    Download PDF (337 KB) View Article

  2. No Access

    Chapter

    Adapting Type Theory with Records for Natural Language Semantics

    In this paper we will go through the version of type theory TTR (Type Theory with Records) that we have proposed in a number of publications (including, Cooper, Res Lang Comput, 3:333–362, 2005a, J Log Comput, 15...

    Robin Cooper in Modern Perspectives in Type-Theoretical Semantics (2017)

  3. No Access

    Article

    Quotation via Dialogical Interaction

    Quotation has been much studied in philosophy. Given that quotation allows one to diagonalize out of any grammar, there have been comparatively few attempts within the linguistic literature to develop an accou...

    Jonathan Ginzburg, Robin Cooper in Journal of Logic, Language and Information (2014)

  4. No Access

    Article

    Dialogue Systems as Proof Editors

    This paper shows how a dialogue system for information-seekingdialogues can be implemented in a type-theory-based syntax editor,originally developed for editing mathematical proofs.The implementation gives a s...

    Aarne Ranta, Robin Cooper in Journal of Logic, Language and Information (2004)

  5. No Access

    Article

    Afterword

    Robin Cooper in Journal of Logic, Language and Information (2003)

  6. No Access

    Chapter

    Using Situations to Reason about the Interpretation of Speech Events

    Situation semantics in its first incarnation in Barwise and Perry (1983) emphasized the importance of reasoning about the subtle interactions between speech events, various informational resources which may co...

    Robin Cooper in Computing Meaning (1999)

  7. No Access

    Book

    Categorial Grammars and Natural Language Structures

    Richard T. Oehrle, Emmon Bach… in Studies in Linguistics and Philosophy (1988)

  8. No Access

    Book

    Situations, Language and Logic

    Jens Erik Fenstad, Per-Kristian Halvorsen… in Studies in Linguistics and Philosophy (1987)

  9. No Access

    Book

    Essays in Logical Semantics

    Johan Van Benthem in Studies in Linguistics and Philosophy (1986)