Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra (Q2440194): 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 @@
+Q3994754
@@ Property / cites work: Q3994754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4121876
@@ Property / cites work: Q4121876 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution-based theorem proving for many-valued logics
+Normal rank
@@ Property / cites work @@
+Q4693586
@@ Property / cites work: Q4693586 / rank @@
+Normal rank
@@ Property / cites work @@
+ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L<sub>vft</sub>
+Normal rank
@@ Property / cites work @@
+Q4544362
@@ Property / cites work: Q4544362 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
+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 @@
+Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
+Normal rank