Q4263083
type: Item
instance of: scholarly article
zbMATH Open document ID: 0934.03039
author: Nissim Francez
publication date: 2000-04-25T00:00:00Z
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 1341541
zbMATH Keywords: Lambek calculus
zbMATH Keywords: unification
zbMATH Keywords: categorial grammar
zbMATH Keywords: natural language
zbMATH Keywords: feature logic
zbMATH Keywords: concatenation logic
zbMATH Keywords: syntactic categorial types
zbMATH Keywords: dual-fibring
zbMATH Keywords: arrow-introduction rules
zbMATH Keywords: hypothetical reasoning
MaRDI profile type: Publication
Recommended article: Q4385435
Recommended article: On completeness theorems for feature logics
Recommended article: On Graph-theoretic Fibring of Logics
Recommended article: Q4708918
Recommended article: On a contraction-less intuitionistic propositional logic with conjunction and fusion
Recommended article: On the characterization of fibred logics, with applications to conservativity and finite-valuedness
Recommended article: Fibring Logics with Topos Semantics
Recommended article: Q4010365
Recommended article: On the Fusion of Coalgebraic Logics
Recommended article: Fibred semantics for feature-based grammar logic
description: scientific article; zbMATH DE number 1341541