Results 1 
3 of
3
Categorial Grammar, Modalities and Algebraic Semantics
, 1993
"... This paper contributes to the theory of substructural logics .that are of interest to categorial grammarians. Combining se mantic ideas of Hepple [1990] and Morrill [1990], prooftheoretic ideas of Venema [1993b; 1993a] and the theory ofequational specifications, a class of resourcepreservin ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
This paper contributes to the theory of substructural logics .that are of interest to categorial grammarians. Combining se mantic ideas of Hepple [1990] and Morrill [1990], prooftheoretic ideas of Venema [1993b; 1993a] and the theory ofequational specifications, a class of resourcepreserving logics is defined, for which decidability and completeness theorems are established.
Meeting strength in substructural logics
 Logic Group Preprint Series 38, Dept. of
, 1993
"... This paper contributes to the theory of hybrid substructural logics, i.e. weak logics given by a Gentzenstyle proof theory in which there is only a limited possibility to use structural rules. Following the literature, we use an operator to mark formulas to which the extra structural rules may be a ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
This paper contributes to the theory of hybrid substructural logics, i.e. weak logics given by a Gentzenstyle proof theory in which there is only a limited possibility to use structural rules. Following the literature, we use an operator to mark formulas to which the extra structural rules may be applied. New in our approach is that we do not see this ∇ as a modality, but rather as the meet of the marked formula with a special type Q. In this way we can make the specific structural behaviour of marked formulas more explicit. The main motivation for our approach is that we can provide a nice, intuitive semantics for hybrid substructural logics. Soundness and completeness for this semantics are proved; besides this we consider some prooftheoretical aspects like cutelimination and embeddings of the ‘strong’ system in the hybrid one.