Pages that link to "Item:Q1314508"
From MaRDI portal
The following pages link to Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508):
Displaying 17 items.
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- The equational theories of representable residuated semigroups (Q514561) (← links)
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- Algebraic structures in categorial grammar (Q1129119) (← links)
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
- Using tableaux to automate the Lambek and other categorial calculi (Q1854380) (← links)
- Models for the Lambek calculus (Q1899151) (← links)
- Reducts of relation algebras: the aspects of axiomatisability and finite representability (Q2151415) (← links)
- A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
- Lower semilattice-ordered residuated semigroups and substructural logics (Q2350965) (← links)
- Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Unitless Frobenius quantales (Q2680596) (← links)
- Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
- POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
- Versions of a local contraction subexponential in the Lambek calculus (Q6160496) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
