Relational semantics and a relational proof system for full Lambek calculus (Q4212926): 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.2307/2586855
@@ Property / full work available at URL: https://doi.org/10.2307/2586855 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2052756194
@@ Property / OpenAlex ID: W2052756194 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:4212926