The Lambek calculus extended with intuitionistic propositional logic (Q332086): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-016-9665-0
@@ Property / DOI: 10.1007/s11225-016-9665-0 / rank @@
-Normal rank
@@ 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.1007/s11225-016-9665-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2297035263
@@ Property / OpenAlex ID: W2297035263 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Decision Problems in the Theory of Syntactic Categories
+Normal rank
@@ Property / cites work @@
+Interpolation and FEP for logics of residuated algebras
+Normal rank
@@ Property / cites work @@
+Nonassociative Lambek Calculus with Additives and Context-Free Languages
+Normal rank
@@ Property / cites work @@
+A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
@@ Property / cites work: A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+Relational semantics of the Lambek calculus extended with classical propositional logic
+Normal rank
@@ Property / cites work @@
+The Lambek calculus enriched with additional connectives
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive full Lambek calculus has the finite model property
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Semantics for the Lambek-Grishin Calculus
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-elimination theorem for relevant logics
@@ Property / cites work: Cut-elimination theorem for relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank
@@ Property / cites work @@
+Subintuitionistic logics
@@ Property / cites work: Subintuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Negation in Categorial Grammar
@@ Property / cites work: A Note on Negation in Categorial Grammar / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Full Lambek Calculus in natural deduction
@@ Property / cites work: Full Lambek Calculus in natural deduction / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11225-016-9665-0
@@ Property / DOI: 10.1007/S11225-016-9665-0 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:332086