Pages that link to "Item:Q3724306"
From MaRDI portal
The following pages link to Completeness Results for Lambek Syntactic Calculus (Q3724306):
Displayed 31 items.
- The atomic theory of left division of two-sided ideals of semirings with unit (Q376154) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Sequent-systems and groupoid models. I (Q1119625) (← links)
- Algebraic structures in categorial grammar (Q1129119) (← links)
- Language in action (Q1177646) (← links)
- Sequent-systems and groupoid models. II (Q1263573) (← links)
- Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508) (← links)
- On the completeness of the Lambek calculus with respect to relativized relational semantics (Q1337611) (← links)
- Meeting strength in substructural logics (Q1344870) (← links)
- Models for the Lambek calculus (Q1899151) (← links)
- Some lattice models of bilinear logic (Q1906000) (← links)
- Tree models and (labeled) categorial grammar (Q1923835) (← links)
- Extending Lambek grammars to basic categorial grammars (Q1923836) (← links)
- Fibred semantics for feature-based grammar logic (Q1923842) (← links)
- The atomic theory of division and intersection of semiring ideals (Q1991564) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205) (← links)
- Epistemic closure and commutative, nonassociative residuated structures (Q2442889) (← links)
- The atomic theory of multiplication and division of semiring ideals (Q2452706) (← links)
- Type logics and pregroups (Q2467212) (← links)
- The finite model property for BCI and related systems (Q2563452) (← links)
- Embedding of the atomic theory of subsets of free semigroups to the atomic theory of subsets of free monoids (Q2674673) (← links)
- Models for the Displacement Calculus (Q2835050) (← links)
- On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results (Q2835051) (← links)
- Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus (Q2964014) (← links)
- A Labelled Deductive System for Relational Semantics of the Lambek Calculus (Q4238425) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- Revisiting Semilattice Semantics (Q5027237) (← links)
- Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (Q5213652) (← links)
- The Monotone Lambek Calculus Is NP-Complete (Q5414974) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)