This paper deals with the issue of the generative capacity of a certain version of type logical categorial gram- mar. Originally categorial grammar in the�...

The article presents proofs of the context freeness of a family of typelogical grammars, namely all grammars that are based on a uni- ormultimodal logic of.

This paper deals with the issue of the generative capacity of a certain version of type logical categorial grammar. Originally categorial grammar in the mod�...

The article presents proofs of the context freeness of a family of type logical grammars, namely all grammars that are based on a uni- or multimodal logic�...

The article presents proofs of the context freeness of a family of typelogical grammars, namely all grammars that are based on a uni- ormultimodal logic of�...

Introduction. This paper deals with the issue of the generative capacity of a certain version of type logical categorial grammar.

Bibliographic details on Residuation, Structural Rules and Context Freeness.

Table of Contents � 1. Introduction � 2. Technical Preliminaries. 2.1. NL; 2.3. Logic and grammars � 3. Generative Capacity � 5. Conclusion � References�...

The behavior of the logical connectives is governed by the following residuation laws: A → C/B if and only if A • B → C if and only if B → A\C. Since NL lacks�...

The class of all residuated lattices is denoted by RL. The study of such objects originated in the context of the theory of ring ideals in the 1930's. The�...