Tableau method for residuated logic (Q1357163): Difference between revisions

@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / 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 @@
+Fuzzy sets in approximate reasoning. II: Logical approaches
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic set theory is a conservative extension of intuitionistic set theory
+Normal rank
@@ Property / cites work @@
+Foundations of fuzzy reasoning
@@ Property / cites work: Foundations of fuzzy reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of inexact concepts
@@ Property / cites work: The logic of inexact concepts / 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 @@
+A note on Kripke semantics for residuated logic
@@ Property / cites work: A note on Kripke semantics for residuated logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3481670
@@ Property / cites work: Q3481670 / 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 @@
+A note on rule representation in expert systems
@@ Property / cites work: A note on rule representation in expert systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336431
@@ Property / cites work: Q3336431 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010275
@@ Property / cites work: Q4010275 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate reasoning as a basis for rule-based expert systems
+Normal rank
@@ Property / cites work @@
+Informational interpretation of substructural propositional logics
+Normal rank