Completeness Results for Lambek Syntactic Calculus

DOI10.1002/malq.19860320104zbMath0594.03015OpenAlexW2156703118MaRDI QIDQ3724306

Wojciech Buszkowski

Publication date: 1986

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19860320104

zbMATH Keywords

algebraic semanticsstrong completenessresiduated semigroups

Mathematics Subject Classification ID

General logic (03B99)

Related Items (31)

On the completeness of the Lambek calculus with respect to relativized relational semantics ⋮ Meeting strength in substructural logics ⋮ Models for the Lambek calculus ⋮ Some lattice models of bilinear logic ⋮ Language-theoretic and finite relation models for the (full) Lambek calculus ⋮ Sequent-systems and groupoid models. I ⋮ The atomic theory of left division of two-sided ideals of semirings with unit ⋮ Tree models and (labeled) categorial grammar ⋮ Extending Lambek grammars to basic categorial grammars ⋮ Fibred semantics for feature-based grammar logic ⋮ Algebraic structures in categorial grammar ⋮ A comparison between monoidal and substructural logics ⋮ Embedding of the atomic theory of subsets of free semigroups to the atomic theory of subsets of free monoids ⋮ Relational Models for the Lambek Calculus with Intersection and Constants ⋮ Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus ⋮ Epistemic closure and commutative, nonassociative residuated structures ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ The atomic theory of multiplication and division of semiring ideals ⋮ Language in action ⋮ Type logics and pregroups ⋮ The atomic theory of division and intersection of semiring ideals ⋮ The Monotone Lambek Calculus Is NP-Complete ⋮ Some Syntactic Interpretations in Different Systems of Full Lambek Calculus ⋮ Lambek calculus with conjugates ⋮ Sequent-systems and groupoid models. II ⋮ Models for the Displacement Calculus ⋮ On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results ⋮ The finite model property for BCI and related systems ⋮ Lambek calculus and its relational semantics: Completeness and incompleteness ⋮ A Labelled Deductive System for Relational Semantics of the Lambek Calculus ⋮ Revisiting Semilattice Semantics

This page was built for publication: Completeness Results for Lambek Syntactic Calculus