Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665): Difference between revisions

@@ Property / author @@
+Da Ruan
@@ Property / author: Da Ruan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DISCOUNT
@@ Property / describes a project that uses: DISCOUNT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CLIN
@@ Property / describes a project that uses: CLIN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ins.2006.07.027
+Normal rank
@@ Property / OpenAlex ID @@
+W2005769316
@@ Property / OpenAlex ID: W2005769316 / rank @@
+Normal rank
@@ Property / cites work @@
+Reductions for non-clausal theorem proving
@@ Property / cites work: Reductions for non-clausal theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of resolution proofs and function introduction
+Normal rank
@@ Property / cites work @@
+Resolution-based theorem proving for many-valued logics
+Normal rank
@@ Property / cites work @@
+On resolution with short clauses
@@ Property / cites work: On resolution with short clauses / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy temporal constraint logic: A valid resolution principle
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal resolution using a breadth-first search algorithm
+Normal rank
@@ Property / cites work @@
+Resolution principles in possibilistic logic
@@ Property / cites work: Resolution principles in possibilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283235
@@ Property / cites work: Q4283235 / rank @@
+Normal rank
@@ Property / cites work @@
+\(T\)-resolution: Refinements and model elimination
+Normal rank
@@ Property / cites work @@
+A perspective on certain polynomial-time solvable classes of satisfiability
+Normal rank
@@ Property / cites work @@
+Labelled resolution for classical and non-classical logics
+Normal rank
@@ Property / cites work @@
+Q3789107
@@ Property / cites work: Q3789107 / rank @@
+Normal rank
@@ Property / cites work @@
+Backjumping for quantified Boolean logic satisfiability
+Normal rank
@@ Property / cites work @@
+Q2757760
@@ Property / cites work: Q2757760 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289327
@@ Property / cites work: Q4289327 / rank @@
+Normal rank
@@ Property / cites work @@
+Commodious axiomatization of quantifiers in multiple-valued logic
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204442
@@ Property / cites work: Q3204442 / rank @@
+Normal rank
@@ Property / cites work @@
+A new fuzzy resolution principle based on the antonym
+Normal rank
@@ Property / cites work @@
+The complexity of minimal satisfiability problems
@@ Property / cites work: The complexity of minimal satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating dublication with the hyper-linking strategy
+Normal rank
@@ Property / cites work @@
+Mechanical Theorem-Proving by Model Elimination
@@ Property / cites work: Mechanical Theorem-Proving by Model Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for automated reasoning in multiple-valued logics
+Normal rank
@@ Property / cites work @@
+Q5613169
@@ Property / cites work: Q5613169 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4121876
@@ Property / cites work: Q4121876 / rank @@
+Normal rank
@@ Property / cites work @@
+Completely non-clausal theorem proving
@@ Property / cites work: Completely non-clausal theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q4269081
@@ Property / cites work: Q4269081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3870868
@@ Property / cites work: Q3870868 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714047
@@ Property / cites work: Q3714047 / rank @@
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic I Many‐valued rules of inference
@@ Property / cites work: On Fuzzy Logic I Many‐valued rules of inference / rank @@
+Normal rank
@@ Property / cites work @@
+\(T\)-theorem proving. I
@@ Property / cites work: \(T\)-theorem proving. I / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q4843187
@@ Property / cites work: Q4843187 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
+Normal rank
@@ Property / cites work @@
+Decidability by resolution for propositional modal logics
+Normal rank
@@ Property / cites work @@
+Q3786473
@@ Property / cites work: Q3786473 / rank @@
+Normal rank
@@ Property / cites work @@
+Graded many-valued resolution with aggregation.
@@ Property / cites work: Graded many-valued resolution with aggregation. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4881605
@@ Property / cites work: Q4881605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4544342
@@ Property / cites work: Q4544342 / rank @@
+Normal rank
@@ Property / cites work @@
+Evaluating general purpose automated theorem proving systems
+Normal rank
@@ Property / cites work @@
+Q2791026
@@ Property / cites work: Q2791026 / rank @@
+Normal rank
@@ Property / cites work @@
+A two-phase algorithm for solving a class of hard satisfiability problems
+Normal rank
@@ Property / cites work @@
+Q5507984
@@ Property / cites work: Q5507984 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
+Normal rank
@@ Property / cites work @@
+Q4693586
@@ Property / cites work: Q4693586 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4311753
@@ Property / cites work: Q4311753 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4306528
@@ Property / cites work: Q4306528 / rank @@
+Normal rank
@@ Property / cites work @@
+\(L\)-valued propositional logic \(L_{\text{vpl}}\)
+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 @@
+\(\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 @@
+Inference in a multivalued logic system
@@ Property / cites work: Inference in a multivalued logic system / rank @@
+Normal rank