scientific article; zbMATH DE number 1341541

MaRDI QIDQ4263083zbMATH OpenFDO

Authors Nissim Francez

Publication date 25 April 2000

zbMATH Keywords

arrow-introduction rulescategorial grammarconcatenation logicdual-fibringfeature logichypothetical reasoningLambek calculusnatural languagesyntactic categorial typesunification

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65)

Recommendations

• scientific article; zbMATH DE number 1140670
• On completeness theorems for feature logics
• On Graph-theoretic Fibring of Logics
• scientific article; zbMATH DE number 1931660
• On a contraction-less intuitionistic propositional logic with conjunction and fusion
• On the characterization of fibred logics, with applications to conservativity and finite-valuedness
• Fibring Logics with Topos Semantics
• scientific article; zbMATH DE number 65754
• On the fusion of coalgebraic logics
• Fibred semantics for feature-based grammar logic

Cited in

(2)

• On the expressivity of feature logics with negation, functional uncertainty, and sort equations
• Fibred semantics for feature-based grammar logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4263083)