Automatic concepts and automata-theoretic semantics for the full Lambek calculus

DOI10.1007/978-3-662-53826-5_19MaRDI QIDQ2964014zbMATH OpenOpenAlexFDO

Authors Christian Wurm

Publication date 22 February 2017

Published in Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-662-53826-5_19

zbMATH Keywords

finite automatauniversal automatonfull Lambek calculussyntactic concept lattice

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Language-theoretic and finite relation models for the (full) Lambek calculus
• scientific article; zbMATH DE number 1689588
• A Lambek Automaton
• Lambek calculus and its relational semantics: Completeness and incompleteness
• Relational semantics of the Lambek calculus extended with classical propositional logic

Cites work

• scientific article; zbMATH DE number 3169897 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• A learnable representation for syntax using residuated lattices
• Algebraic structures in categorial grammar
• Completeness Results for Lambek Syntactic Calculus
• Completeness of full Lambek calculus for syntactic concept lattices
• Language in action. Categories, lambdas and dynamic logic
• Learning context free grammars with the finite context property: a correction of A. Clark's algorithm
• Learning context free grammars with the syntactic concept lattice
• Models for the Lambek calculus
• On finite models of the Lambek calculus
• On some extensions of syntactic concept lattices: completeness and finiteness results
• Relations and non-commutative linear logic
• Residuated lattices. An algebraic glimpse at substructural logics
• The Lambek calculus enriched with additional connectives
• The Mathematics of Sentence Structure
• The finite model property for various fragments of intuitionistic linear logic
• The syntactic concept lattice: another algebraic theory of the context-free languages?
• The universal automaton

Cited in

(3)

• Language-theoretic and finite relation models for the (full) Lambek calculus
• scientific article; zbMATH DE number 1689588 (Why is no real title available?)
• A Lambek Automaton

This page was built for publication: Automatic concepts and automata-theoretic semantics for the full Lambek calculus

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