Relational semantics and a relational proof system for full Lambek calculus (Q4212926): Difference between revisions

@@ Property / cites work @@
+Lambek calculus and its relational semantics: Completeness and incompleteness
+Normal rank
@@ Property / cites work @@
+Relational proof system for relevant logics
@@ Property / cites work: Relational proof system for relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank
@@ Property / cites work @@
+Logic at work. Essays dedicated to the memory of Helena Rasiowa
+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 @@
+A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
+Normal rank
@@ Property / cites work @@
+Rough sets
@@ Property / cites work: Rough sets / rank @@
+Normal rank