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

@@ 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