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 / Mathematics Subject Classification ID @@
+B47
@@ Property / Mathematics Subject Classification ID: 03B47 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B20
@@ Property / Mathematics Subject Classification ID: 03B20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B05
@@ Property / Mathematics Subject Classification ID: 03B05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F03
@@ Property / Mathematics Subject Classification ID: 03F03 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6644702
@@ Property / zbMATH DE Number: 6644702 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Lambek calculus
@@ Property / zbMATH Keywords: Lambek calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+intuitionistic propositional logic
@@ Property / zbMATH Keywords: intuitionistic propositional logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Kripke semantics
@@ Property / zbMATH Keywords: Kripke semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+ternary semantics
@@ Property / zbMATH Keywords: ternary semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+sequent calculus
@@ Property / zbMATH Keywords: sequent calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+decidability
@@ Property / zbMATH Keywords: decidability / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / 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