On some extensions of syntactic concept lattices: completeness and finiteness results

DOI10.1007/978-3-662-53042-9_10MaRDI QIDQ2835051zbMATH OpenOpenAlexFDO

Authors Christian Wurm

Publication date 1 December 2016

Published in Formal Grammar (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-53042-9_10

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Knowledge representation (68T30)

Recommendations

• Completeness of full Lambek calculus for syntactic concept lattices
• Completeness Results for Lambek Syntactic Calculus
• scientific article; zbMATH DE number 1567840
• Language-theoretic and finite relation models for the (full) Lambek calculus
• scientific article; zbMATH DE number 3871337

Cites work

• A learnable representation for syntax using residuated lattices
• Algebraic structures in categorial grammar
• Completeness of full Lambek calculus for syntactic concept lattices
• Completeness Results for Lambek Syntactic Calculus
• scientific article; zbMATH DE number 3169897 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• Learning context free grammars with the syntactic concept lattice
• Logical grammars, logical theories
• On finite models of the Lambek calculus
• 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?
• Well-nestedness properly subsumes strict derivational minimalism

Cited in

(5)

• Language-theoretic and finite relation models for the (full) Lambek calculus
• Automatic concepts and automata-theoretic semantics for the full Lambek calculus
• Completeness of full Lambek calculus for syntactic concept lattices
• On the Dedekind-MacNeille completion and formal concept analysis based on multilattices
• On conceptual completeness of syntactic-semantical systems

This page was built for publication: On some extensions of syntactic concept lattices: completeness and finiteness results

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