Pages that link to "Item:Q332086"
From MaRDI portal
The following pages link to The Lambek calculus extended with intuitionistic propositional logic (Q332086):
Displaying 5 items.
- DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS (Q3389495) (← links)
- Full Lambek Calculus in natural deduction (Q3406453) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- On undecidability of the propositional logic of an associative binary modality (Q6617171) (← links)
