Pages that link to "Item:Q1850955"
From MaRDI portal
The following pages link to A rule-extension of the non-associative Lambek calculus (Q1850955):
Displaying 5 items.
- Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962) (← links)
- Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules (Q1005955) (← links)
- On the complexity of nonassociative Lambek calculus with unit (Q1035836) (← links)
- Classical conservative extensions of Lambek calculus (Q1850949) (← links)
- Craig’s trick and a non-sequential system for the Lambek calculus and its fragments (Q5382579) (← links)