On the logic of -pregroups

DOI10.1007/S11225-007-9090-5MaRDI QIDQ2467221zbMATH OpenOpenAlexFDO

Authors Aleksandra Kiślak-Malinowska

Publication date 21 January 2008

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-007-9090-5

zbMATH Keywords

cut-eliminationpregroupsequent systemrewriting rulesnormalization theorem\(\beta\){-pregroup}

Mathematics Subject Classification ID

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

Recommendations

• Type logics and pregroups
• Pregroup grammars and Chomsky's earliest examples
• scientific article; zbMATH DE number 1953885
• Extended pregroup grammars applied to natural languages
• Pregroup Calculus as a Logic Functor

Cites work

• scientific article; zbMATH DE number 4002074 (Why is no real title available?)
• scientific article; zbMATH DE number 1341534 (Why is no real title available?)
• scientific article; zbMATH DE number 1786547 (Why is no real title available?)
• scientific article; zbMATH DE number 1786548 (Why is no real title available?)
• scientific article; zbMATH DE number 2111978 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• Extending Lambek grammars to basic categorial grammars
• Sequent systems for compact bilinear logic
• The Mathematics of Sentence Structure
• Type grammars as pregroups

Cited in

(3)

• Type logics and pregroups
• A computational algebraic analysis of Hindi syntax
• Pregroup Calculus as a Logic Functor

This page was built for publication: On the logic of \(\beta\)-pregroups

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