12 found
Sort by:
  1. Raffaella Bernardi, Deriving Polarity Effects.
    Polarity Items are linguistic expressions known for being a ‘lexically controlled’ phenomenon. In this paper we show how their behavior can be implemented in a deductive system. Further- more, we point out some possible directions to recast the deductive solution into a Tree Ad- joining Grammar system. In particular, we suggest to compare the proof system developed for Multimodal Categorial Grammar (Moot & Puite, 1999) with the Partial Proof Trees proposed in (Joshi & Kulick, 1997).
    No categories
     
    My bibliography  
     
    Export citation  
  2. Raffaella Bernardi, Reasoning with Categorial Grammar Logic.
    The article presents the first results we have obtained studying natural reasoning from a proof-theoretic perspective. In particular we focus our attention on monotonic reasoning. Our system consists of two parts: (i) A Formal Grammar – a multimodal version of classical Categorial Grammar – which while syntactically analysing linguistic expressions given as input, computes semantic information (In particular information about the monotonicity properties of the components of the input string are displayed.); (ii) A simple Natural Logic which derives (monotonicity) inferences (...)
    No categories
     
    My bibliography  
     
    Export citation  
  3. Raffaella Bernardi, A Proof Theoretical Account of Polarity Items and Monotonic Inference.
    i. M is positive in M . ii. M is positive (negative) in P Q iff M is positive (negative) in P . iii. M is positive (negative) in P Q iff M is positive (negative) in Q, and P denotes..
    No categories
     
    My bibliography  
     
    Export citation  
  4. Raffaella Bernardi, Categorial Grammar.
    1 Recognition Device . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2 Classical Categorial Grammar. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3 Classical (...)
    No categories
     
    My bibliography  
     
    Export citation  
  5. Raffaella Bernardi, Licensing and Antilicensing Relations.
    In this paper we draw some connection between the relation linking polarity items with their licensors, and the one holding between wh-phrases and weak-islands. Moreover, we briefly sketch how these relations can be modelled into Categorial Type Logic.
    No categories
     
    My bibliography  
     
    Export citation  
  6. Anna Szabolcsi & Raffaella Bernardi, Partially Ordered Categories: Optionality, Scope and Licensing.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Raffaella Bernardi & Anna Szabolcsi (2008). Optionality, Scope, and Licensing: An Application of Partially Ordered Categories. Journal of Logic, Language and Information 17 (3):237-283.
    This paper uses a partially ordered set of syntactic categories to accommodate optionality and licensing in natural language syntax. A complex but well-studied data set pertaining to the syntax of quantifier scope and negative polarity licensing in Hungarian is used to illustrate the proposal. The presentation is geared towards both linguists and logicians. The paper highlights that the main ideas can be implemented in different grammar formalisms, and discusses in detail an implementation where the partial ordering on categories is given (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Anna Szabolcsi & Raffaella Bernardi (2008). Optionality, Scope, and Licensing: An Application of Partially Ordered Categories. [REVIEW] Journal of Logic, Language and Information 17 (3):237-283.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Carlos Areces & Raffaella Bernardi (2004). Analyzing the Core of Categorial Grammar. Journal of Logic, Language and Information 13 (2):121-137.
    Even though residuation is at the core of Categorial Grammar (Lambek, 1958), it is not always immediate to realize how standard logical systems like Multi-modal Categorial Type Logics (MCTL) (Moortgat, 1997) actually embody this property. In this paper, we focus on the basic system NL (Lambek, 1961) and its extension with unary modalities NL() (Moortgat, 1996), and we spell things out by means of Display Calculi (DC) (Belnap, 1982; Goré, 1998). The use of structural operators in DC permits a sharp (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  10. Raffaella Bernardi (2004). Analyzing the Core of Categorial Grammar. Journal of Logic, Language and Information 13 (2):121-137.
    Even though residuation is at the core of Categorial Grammar (Lambek, 1958), it is not always immediate to realize how standard logical systems like Multi-modal Categorial Type Logics (MCTL) (Moortgat, 1997) actually embody this property. In this paper, we focus on the basic system NL (Lambek, 1961) and its extension with unary modalities NL(♦) (Moortgat, 1996), and we spell things out by means of Display Calculi (DC) (Belnap, 1982; Goré, 1998). The use of structural operators in DC permits a sharp (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Raffaella Bernardi (2004). The Syntactic Process: Language, Speech, and Communication, Mark Steedman. [REVIEW] Journal of Logic, Language and Information 13 (4):526-530.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Raffaella Bernardi & Richard Moot (2003). Generalized Quantifiers in Declarative and Interrogative Sentences. Logic Journal of the Igpl 11 (4):419-434.
    In this paper we present a logical system able to compute the semantics of both declarative and interrogative sentences. Our proposed analysis takes place at both the sentential and at the discourse level. We use syntactic inference on the sentential level for declarative sentences, while the discourse level comes into play for our treatment of questions. Our formalization uses a type logic sensitive to both the syntactic and semantic properties of natural language. We will show how an account of the (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation