A Note on Negation in Categorial Grammar

DOI10.1093/jigpal/jzm012zbMath1134.03016OpenAlexW2077922974WikidataQ126254595 ScholiaQ126254595MaRDI QIDQ5435116

Heinrich Wansing

Publication date: 14 January 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/8afa5f0bf550512e1d8c5fdb48e1ca0f4b4c5829

zbMATH Keywords

Lambek calculusstrong negationcategorial grammarconnexive implicationpowerset residuated semigroup

Mathematics Subject Classification ID

Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (9)

The Lambek calculus extended with intuitionistic propositional logic ⋮ Judgement aggregation in non-classical logics ⋮ SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION ⋮ Connexive logic, connexivity, and connexivism: remarks on terminology ⋮ Relational semantics of the Lambek calculus extended with classical propositional logic ⋮ Lambek calculus with conjugates ⋮ Connexive logics. An overview and current trends ⋮ Constructive negation, implication, and co-implication ⋮ Extending the Lambek calculus with classical negation

This page was built for publication: A Note on Negation in Categorial Grammar