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

DOI10.1007/S10849-017-9249-ZMaRDI QIDQ2398205zbMATH OpenOpenAlexFDO

Authors 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 theoryformal concept analysisformal languagesLambek calculusrelation modelsresiduated latticessubstructural logics

Mathematics Subject Classification ID

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

Recommendations

• On the completeness of Lambek calculus with respect to cofinite language models
• Relational semantics and a relational proof system for full Lambek calculus
• Lambek calculus and its relational semantics: Completeness and incompleteness
• On the completeness of the Lambek calculus with respect to relativized relational semantics
• Relational semantics for the Lambek-Grishin calculus
• Semantics of a relational \(\lambda\)-calculus
• A Labelled Deductive System for Relational Semantics of the Lambek Calculus
• Language models for some extensions of the Lambek calculus
• Quantitative semantics of the lambda calculus. Some generalisations of the relational model
• Relational models for the Lambek calculus with intersection and unit

Cites work

• A learnable representation for syntax using residuated lattices
• Algebraic structures in categorial grammar
• Automatic concepts and automata-theoretic semantics for the full Lambek calculus
• Compatibility of a Categorial Grammar With an Associated Category System
• Completeness of full Lambek calculus for syntactic concept lattices
• Completeness Results for Lambek Syntactic Calculus
• Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives
• scientific article; zbMATH DE number 3169897 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• Lambek calculus and its relational semantics: Completeness and incompleteness
• 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
• Logical grammars, logical theories
• Models for the Lambek calculus
• On finite models of the Lambek calculus
• On some extensions of syntactic concept lattices: completeness and finiteness results
• Quantales and (noncommutative) linear logic
• Relation algebras
• Relations and non-commutative linear logic
• Residuated lattices. An algebraic glimpse at substructural logics
• The displacement calculus
• The finite model property for various fragments of intuitionistic linear logic
• The Lambek calculus enriched with additional connectives
• The Mathematics of Sentence Structure
• The syntactic concept lattice: another algebraic theory of the context-free languages?
• The universal automaton

Cited in

(20)

• Lambek calculus and its relational semantics: Completeness and incompleteness
• On the completeness of the Lambek calculus with respect to relativized relational semantics
• Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs
• A restricted fragment of the Lambek calculus with iteration and intersection operations
• L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit
• Relational models for the Lambek calculus with intersection and unit
• On some extensions of syntactic concept lattices: completeness and finiteness results
• Automatic concepts and automata-theoretic semantics for the full Lambek calculus
• scientific article; zbMATH DE number 3871337 (Why is no real title available?)
• A Lambek Automaton
• scientific article; zbMATH DE number 1186722 (Why is no real title available?)
• scientific article; zbMATH DE number 1104365 (Why is no real title available?)
• scientific article; zbMATH DE number 1567840 (Why is no real title available?)
• scientific article; zbMATH DE number 757643 (Why is no real title available?)
• Completeness of full Lambek calculus for syntactic concept lattices
• Relational Models for the Lambek Calculus with Intersection and Constants
• Non-distributive description logic
• On syntactic concept lattice models for the Lambek calculus and infinitary action logic
• Syntactic concept lattice models for infinitary action logic
• On finite models of the Lambek calculus

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

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