\((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic (Q778417): Difference between revisions

@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Game theoretical semantics for some non-classical logics
+Normal rank
@@ Property / cites work @@
+Fuzzy operator logic and fuzzy resolution
@@ Property / cites work: Fuzzy operator logic and fuzzy resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient algorithms to detect and restore minimality, an extension of the regular restriction of resolution
+Normal rank
@@ Property / cites work @@
+\(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
+Normal rank
@@ Property / cites work @@
+\(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
+Normal rank
@@ Property / cites work @@
+Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
+Normal rank
@@ Property / cites work @@
+Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
+Normal rank
@@ Property / cites work @@
+General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
+Normal rank
@@ Property / cites work @@
+Q4583766
@@ Property / cites work: Q4583766 / rank @@
+Normal rank
@@ Property / cites work @@
+On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic
+Normal rank
@@ Property / cites work @@
+Invariant-free clausal temporal resolution
@@ Property / cites work: Invariant-free clausal temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+The higher-order prover \textsc{Leo}-II
@@ Property / cites work: The higher-order prover \textsc{Leo}-II / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic fuzzy sets
@@ Property / cites work: Intuitionistic fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic fuzzy sets. Theory and applications
+Normal rank
@@ Property / cites work @@
+On intuitionistic fuzzy sets theory
@@ Property / cites work: On intuitionistic fuzzy sets theory / rank @@
+Normal rank
@@ Property / cites work @@
+IVIF-PROMETHEE outranking methods for multiple criteria decision analysis based on interval-valued intuitionistic fuzzy sets
+Normal rank
@@ Property / cites work @@
+Atanassov's intuitionistic fuzzy quasi-Choquet geometric operators and their applications to multicriteria decision making
+Normal rank
@@ Property / cites work @@
+Three-way decisions with intuitionistic fuzzy decision-theoretic rough sets based on point operators
+Normal rank
@@ Property / cites work @@
+Triple I method of approximate reasoning on Atanassov's intuitionistic fuzzy sets
+Normal rank
@@ Property / cites work @@
+Linguistic truth-valued intuitionistic fuzzy reasoning with applications in human factors engineering
+Normal rank