Pages that link to "Item:Q332086"
From MaRDI portal
The following pages link to The Lambek calculus extended with intuitionistic propositional logic (Q332086):
Displaying 10 items.
- A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice (Q1112802) (← links)
- DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS (Q3389495) (← links)
- Full Lambek Calculus in natural deduction (Q3406453) (← links)
- Lambek Calculus in Natural Deduction (Q3520236) (← links)
- (Q3609632) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- Intuitionistic Letcc via Labelled Deduction (Q4982116) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- A comparison between lambek syntactic calculus and intuitionistic linear propositional logic (Q5750847) (← links)
- On undecidability of the propositional logic of an associative binary modality (Q6617171) (← links)
