Extensions of Lambek Calculi (Q5014595): Difference between revisions

@@ Property / cites work @@
+Classical conservative extensions of Lambek calculus
+Normal rank
@@ Property / cites work @@
+Q5764755
@@ Property / cites work: Q5764755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536273
@@ Property / cites work: Q5536273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541333
@@ Property / cites work: Q5541333 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5789040
@@ Property / cites work: Q5789040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
+Normal rank
@@ Property / cites work @@
+On the finite embeddability property for residuated ordered groupoids
+Normal rank
@@ Property / cites work @@
+Lattices and ordered algebraic structures
@@ Property / cites work: Lattices and ordered algebraic structures / rank @@
+Normal rank
@@ Property / cites work @@
+Some Decision Problems in the Theory of Syntactic Categories
+Normal rank
@@ Property / cites work @@
+Q4547844
@@ Property / cites work: Q4547844 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent systems for compact bilinear logic
@@ Property / cites work: Sequent systems for compact bilinear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On Action Logic: Equational Theories of Action Algebras
+Normal rank
@@ Property / cites work @@
+Interpolation and FEP for logics of residuated algebras
+Normal rank
@@ Property / cites work @@
+Some Syntactic Interpretations in Different Systems of Full Lambek Calculus
+Normal rank
@@ Property / cites work @@
+On Classical Nonassociative Lambek Calculus
@@ Property / cites work: On Classical Nonassociative Lambek Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On involutive nonassociative Lambek calculus
@@ Property / cites work: On involutive nonassociative Lambek calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5431598
@@ Property / cites work: Q5431598 / rank @@
+Normal rank
@@ Property / cites work @@
+UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS
+Normal rank
@@ Property / cites work @@
+FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE
+Normal rank
@@ Property / cites work @@
+Algebraic proof theory for substructural logics: cut-elimination and completions
+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 @@
+Q4829655
@@ Property / cites work: Q4829655 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509706
@@ Property / cites work: Q5509706 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras as expanded FL-algebras
@@ Property / cites work: Relation algebras as expanded FL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Cut elimination and strong separation for substructural logics: an algebraic approach
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Classical non-associative Lambek calculus
@@ Property / cites work: Classical non-associative Lambek calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3740201
@@ Property / cites work: Q3740201 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3763567
@@ Property / cites work: Q3763567 / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunction property and complexity of substructural logics
+Normal rank
@@ Property / cites work @@
+Residuation, structural rules and context freeness
+Normal rank
@@ Property / cites work @@
+Relation algebras as residuated Boolean algebras
@@ Property / cites work: Relation algebras as residuated Boolean algebras / 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 extended with intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Distributive full Lambek calculus has the finite model property
+Normal rank
@@ Property / cites work @@
+Decidable and undecidable logics with a binary modality
+Normal rank
@@ Property / cites work @@
+Lambek Grammars with the Unit
@@ Property / cites work: Lambek Grammars with the Unit / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of linear logic
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive systems and categories
@@ Property / cites work: Deductive systems and categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4327830
@@ Property / cites work: Q4327830 / rank @@
+Normal rank
@@ Property / cites work @@
+Some lattice models of bilinear logic
@@ Property / cites work: Some lattice models of bilinear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263075
@@ Property / cites work: Q4263075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3612673
@@ Property / cites work: Q3612673 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of the Equational Theory of Residuated Boolean Algebras
+Normal rank
@@ Property / cites work @@
+Multimodal linguistic inference
@@ Property / cites work: Multimodal linguistic inference / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of categorial grammars. A deductive account of natural language syntax and semantics
+Normal rank
@@ Property / cites work @@
+Q4862312
@@ Property / cites work: Q4862312 / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank
@@ Property / cites work @@
+Models for the Lambek calculus
@@ Property / cites work: Models for the Lambek calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Lambek calculus is NP-complete
@@ Property / cites work: Lambek calculus is NP-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287490
@@ Property / cites work: Q4287490 / rank @@
+Normal rank
@@ Property / cites work @@
+Free compact 2-categories
@@ Property / cites work: Free compact 2-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive logic with strong negation is a substructural logic. I
+Normal rank
@@ Property / cites work @@
+Constructive logic with strong negation is a substructural logic. II
+Normal rank
@@ Property / cites work @@
+Language in action. Categories, lambdas and dynamic logic
+Normal rank
@@ Property / cites work @@
+Q4331781
@@ Property / cites work: Q4331781 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms
+Normal rank