Full Lambek Calculus in natural deduction (Q3406453): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.200810042
+Normal rank
@@ Property / OpenAlex ID @@
+W2080962320
@@ Property / OpenAlex ID: W2080962320 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+A natural extension of natural deduction
@@ Property / cites work: A natural extension of natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction for intuitionistic linear logic
@@ Property / cites work: Natural deduction for intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural Logics in Natural Deduction
@@ Property / cites work: Substructural Logics in Natural Deduction / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3406453