# Hybrid Categorial Logics

@article{Hepple1995HybridCL, title={Hybrid Categorial Logics}, author={Mark Hepple}, journal={Log. J. IGPL}, year={1995}, volume={3}, pages={343-355} }

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…

## 12 Citations

### Mixing Modes of Linguistic Description in Categorial Grammar

- LinguisticsEACL
- 1995

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.

### Underspecification in Type-Logical Grammars

- Computer ScienceLACL
- 1997

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

- Linguistics
- 1999

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

- LinguisticsComplex.
- 2022

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

- Linguistics, Computer ScienceLecture Notes in Computer Science
- 1999

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

- Computer Science
- 1997

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

- Computer ScienceLog. J. IGPL
- 1997

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

- Computer ScienceLACL
- 1997

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

- Computer Science
- 1998

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.

## References

SHOWING 1-10 OF 20 REFERENCES

### A General Framework for Hybrid Substructural Categorial Logics

- Computer Science
- 1994

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

- Computer ScienceEACL
- 1991

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

- LinguisticsCOLING
- 1994

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

- Computer ScienceEACL
- 1993

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

- PhilosophyNonclassical 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

- PhilosophyJ. Philos. Log.
- 1992

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

- Computer Science
- 1987

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

- Computer Science, PhilosophySIGA
- 1992

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

- Linguistics
- 1993

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…