Full Lambek Calculus in natural deduction
From MaRDI portal
Publication:3406453
Recommendations
- Lambek Calculus in Natural Deduction
- Classical conservative extensions of Lambek calculus
- Natural deduction bottom up
- The Lambek calculus extended with intuitionistic propositional logic
- An alternative natural deduction for the intuitionistic propositional logic
- Substructural Logics in Natural Deduction
- On Lambek's restriction in the presence of exponential modalities
- A Parigot-style linear -calculus for full intuitionistic linear logic
- Extensions of Lambek calculi
- De Morgan interpretation of the Lambek-Grishin calculus
Cites work
Cited in
(9)- Logical Aspects of Computational Linguistics
- A `natural logic' inference system using the Lambek calculus
- Natural deduction bottom up
- Bracket induction for Lambek calculus with bracket modalities
- Lambda terms for natural deduction, sequent calculus and cut elimination
- The Lambek calculus extended with intuitionistic propositional logic
- Relational semantics of the Lambek calculus extended with classical propositional logic
- Cyclic Involutive Distributive Full Lambek Calculus is Decidable
- Lambek Calculus in Natural Deduction
This page was built for publication: Full Lambek Calculus in natural deduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3406453)