Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra (Q2440194): Difference between revisions

@@ Property / DOI @@
-.1007/s12204-012-1249-1
@@ Property / DOI: 10.1007/s12204-012-1249-1 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s12204-012-1249-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2315525767
@@ Property / OpenAlex ID: W2315525767 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S12204-012-1249-1
@@ Property / DOI: 10.1007/S12204-012-1249-1 / rank @@
+Normal rank