scientific article; zbMATH DE number 1567840
From MaRDI portal
Publication:4761669
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35) Formal languages and automata (68Q45)
Recommendations
- Completeness Results for Lambek Syntactic Calculus
- scientific article; zbMATH DE number 3871337
- On the completeness of Lambek calculus with respect to cofinite language models
- Language-theoretic and finite relation models for the (full) Lambek calculus
- L-Completeness of the Lambek Calculus with the Reversal Operation
Cited in
(18)- On the completeness of the Lambek calculus with respect to relativized relational semantics
- A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi
- A restricted fragment of the Lambek calculus with iteration and intersection operations
- On some extensions of syntactic concept lattices: completeness and finiteness results
- Syntactic characterizations of completeness using duals and operators
- scientific article; zbMATH DE number 3871337 (Why is no real title available?)
- Deducibility of admissible rules with simple premises in the Lambek calculus
- Completeness Results for Lambek Syntactic Calculus
- Completeness of transfinite evaluation in an extension of the lambda calculus
- scientific article; zbMATH DE number 1222927 (Why is no real title available?)
- The Smyth Completion
- scientific article; zbMATH DE number 475195 (Why is no real title available?)
- L-Completeness of the Lambek Calculus with the Reversal Operation
- On the completeness of Lambek calculus with respect to cofinite language models
- Syntactic Completeness of Proper Display Calculi
- On translating Lambek grammars with one division into context-free grammars
- Completeness of full Lambek calculus for syntactic concept lattices
- L-completeness of the Lambek calculus with the reversal operation allowing empty antecedents
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4761669)
