A note on Kripke semantics for residuated logic (Q678998): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0165-0114(95)00085-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2088409477
@@ Property / OpenAlex ID: W2088409477 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent-systems and groupoid models. I
@@ Property / cites work: Sequent-systems and groupoid models. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010274
@@ Property / cites work: Q4010274 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets and residuated logic
@@ Property / cites work: Fuzzy sets and residuated logic / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau method for residuated logic
@@ Property / cites work: Tableau method for residuated logic / 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 @@
+Q4010275
@@ Property / cites work: Q4010275 / rank @@
+Normal rank