Language-theoretic and finite relation models for the (full) Lambek calculus

DOI10.1007/s10849-017-9249-zzbMath1420.03041OpenAlexW2602454794MaRDI QIDQ2398205

Christian Wurm

Publication date: 15 August 2017

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-017-9249-z

zbMATH Keywords

automata theoryLambek calculussubstructural logicsformal concept analysisformal languagesresiduated latticesrelation models

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Knowledge representation (68T30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (2)

Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs ⋮ Relational Models for the Lambek Calculus with Intersection and Constants

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On finite models of the Lambek calculus
• Relation algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Algebraic structures in categorial grammar
• Language in action. Categories, lambdas and dynamic logic
• The Lambek calculus enriched with additional connectives
• Lambek calculus and its relational semantics: Completeness and incompleteness
• Models for the Lambek calculus
• Relations and non-commutative linear logic
• The displacement calculus
• On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results
• Learning Context Free Grammars with the Finite Context Property: A Correction of A. Clark’s Algorithm
• Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus
• A Learnable Representation for Syntax Using Residuated Lattices
• The Mathematics of Sentence Structure
• The syntactic concept lattice: Another algebraic theory of the context-free languages?
• Quantales and (noncommutative) linear logic
• Learning Context Free Grammars with the Syntactic Concept Lattice
• Completeness Results for Lambek Syntactic Calculus
• Compatibility of a Categorial Grammar With an Associated Category System
• The finite model property for various fragments of intuitionistic linear logic
• Logical Grammars, Logical Theories
• Completeness of Full Lambek Calculus for Syntactic Concept Lattices
• Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives

This page was built for publication: Language-theoretic and finite relation models for the (full) Lambek calculus