Hybrid Categorial Logics

  title={Hybrid Categorial Logics},
  author={Mark Hepple},
  journal={Log. J. IGPL},
Recent work within Categorial Grammar has seen the development of a number of multimodal systems, where diierent families of connectives coexist within a single categorial logic. Such systems can be viewed as making available diiering modes of linguistic description within a single grammatical formalism. This paper addresses proposals for constructing multimodal systems due to Hepple 7] and Moortgat & Oehrle 15], which are in many ways similar, but which make apparently contradictory claims… 

Mixing Modes of Linguistic Description in Categorial Grammar

This work proposes an alternative approach, involving co-existence and interrelation of different sublogics, that eliminates the need for structural modalities, whilst maintaining the descriptive power they provide.

Categorial Type Logics

  • M. Moortgat
  • Philosophy
    Handbook of Logic and Language
  • 1997

Underspecification in Type-Logical Grammars

We show how in a mixed multimodal categorial framework unary modalities can be used to represent morphosyntactic properties of expressions. The residuation logic for the unary connectives, ⋄i □i is

Labelled deduction in the composition of form and meaning

In the late Fifties, Jim Lambek has started a line of investigation that accounts for the composition of form and meaning in natural language in deductive terms: formal grammar is presented as a

Calculating Zero Pronominals in Situ: A Type Logical Approach

Zero pronominals challenge Type Logical Grammar in two ways. One, TLG displays a linear resource management regime for semantic composition, meaning that pronominals call for special treatment if

Logical Aspects of Computational Linguistics: Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers

Theoretic Analysis of Intonation and Linear Logic Treatment of Phrase Structure Grammars For Unbounded Dependencies and Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language.

Grammars For Unbounded Dependencies

This work shows how linear logic can be used to provide an attractive encoding of phrase structure grammars for parsing structures involving unbounded dependencies.

Parsing Natural Language using LDS: A Prototype

This paper describes a prototype implementation of a Labelled Deduction System for natural language interpretation (Gabbay and Kempson 1992), where interpretation is taken to be the process of

A Linear Logic Treatment of Phrase Structure Grammars for Unbounded Dependencies

This work shows how linear logic can be used to provide an attractive encoding of phrase structure grammars for parsing structures involving unbounded dependencies.

Basic Dependency-based Logical Grammar Basic Dependency-based Logical Grammar Document Typeset in L a T E X 2 " Using the a M S-l a T E X 2 " Distribution, And

A logical grammar is presented that employs dependency relations as its basic categories, rather than constituents, to provide a calculus for doing analysis based on the description of natural language as provided by Sgall et al and Petkevi c.



A General Framework for Hybrid Substructural Categorial Logics

An alternative general model of hybrid substructureural systems is proposed, in which different substructural logics are brought together into a single system, and which eliminates the need of structural modalities by exploiting natural relations between different subststructural levels in terms of the relative informativeness of their characterizations.

Proof Figures and Structural Operators for Categorial Grammar

This paper reformulates Lambek's system using proof figures based on the 'natural deduction' notation commonly used for derivations in logic, and introduces devices called structural modalities, based in the structural rules of logic, for the characterization of commutation, iteration and optionality.

Discontinuity and the Lambek Calculus

This paper addresses the problem of providing an adequate formalisation of categorial commctives by Moortgat (1988), and provides an approach that falls within the general framework of labelled deductive systems (Gabbay, 1991), employing novel methods for reasoning out linear order in resource nsage.

Tuples, Discontinuity, and Gapping in Categorial Grammar

This paper solves some puzzles in the formalisation of logic for discontinuity in categorial grammar and enables characterisation of discontinous functors such as particle verbs and phrasal idioms, and binding phenomena such as quantifier raising and pied piping.

Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic

  • H. Wansing
  • Philosophy
    Nonclassical Logics and Information Processing
  • 1990
It is shown that in certain cases in which applications of the (cut)-rule can be eliminated from an implicational fragment of the logics considered, cut-elimination and normalization of terms wrt β-reduction are homomorphic images of each other.

Modal translations in substructural logics

It is proved that first-order variants of theselogics with an intuitionistic negation can be embedded by modal translations into S40type extensions of these logics with a classical, involutive, negation.

The Logic of Types

By the logic of types (TL) the authors mean systems of type transformation systems that employ the schema, and the formulae of these systems are simply types or type transformation rules.

Linear logic

This column presents an intuitive overview of linear logic, some recent theoretical results, and summarizes several applications oflinear logic to computer science.

Discontinuity and pied-piping in categorial grammar

Discontinuity refers to the phenomena in many natural language constructions whereby signs differ markedly in their prosodic and semantic forms. As such it presents interesting demands on monostratal