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

DOI10.1007/978-3-662-53826-5_19zbMATH Open1485.03056OpenAlexW2550429615MaRDI QIDQ2964014FDOQ2964014

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)

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

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

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)

Cites Work

• Title not available (Why is that?)
• Residuated lattices. An algebraic glimpse at substructural logics
• The universal automaton
• The finite model property for various fragments of intuitionistic linear logic
• The Mathematics of Sentence Structure
• The Lambek calculus enriched with additional connectives
• Language in action. Categories, lambdas and dynamic logic
• Completeness Results for Lambek Syntactic Calculus
• Learning context free grammars with the syntactic concept lattice
• Models for the Lambek calculus
• Relations and non-commutative linear logic
• On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results
• Completeness of Full Lambek Calculus for Syntactic Concept Lattices
• On finite models of the Lambek calculus
• A learnable representation for syntax using residuated lattices
• Algebraic structures in categorial grammar
• Learning Context Free Grammars with the Finite Context Property: A Correction of A. Clark’s Algorithm
• Title not available (Why is that?)
• The syntactic concept lattice: Another algebraic theory of the context-free languages?

Cited In (3)

• Language-theoretic and finite relation models for the (full) Lambek calculus
• Title not available (Why is that?)
• 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)