Filter-based resolution principle for lattice-valued propositional logic LP(X)

DOI10.1016/J.INS.2006.07.027MaRDI QIDQ867665zbMATH OpenOpenAlexFDO

Authors Jun Ma, Wenjiang Li, Yang Xu, Da Ruan

Publication date 16 February 2007

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2006.07.027

zbMATH Keywords

filterautomated reasoninglattice-valued logicresolution principlecomplex generalized clauselattice-implication algebrasimple generalized clause

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35)

Recommendations

• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
• \(\alpha\)-resolution principle with generalized quantifier based on the first-order lattice-valued logic \(LF(X)\)
• Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra
• The logical properties of filters of lattice implication algebra
• Logical properties of lattice filter of lattice implication algebra
• scientific article; zbMATH DE number 679715
• scientific article; zbMATH DE number 1933130
• General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
• Uncertainty reasoning based on the lattice-valued propositional logic LP\((X)\)

Cites work

• scientific article; zbMATH DE number 4181307 (Why is no real title available?)
• scientific article; zbMATH DE number 3941499 (Why is no real title available?)
• scientific article; zbMATH DE number 4049622 (Why is no real title available?)
• scientific article; zbMATH DE number 4053069 (Why is no real title available?)
• scientific article; zbMATH DE number 3674052 (Why is no real title available?)
• scientific article; zbMATH DE number 3547260 (Why is no real title available?)
• scientific article; zbMATH DE number 1354791 (Why is no real title available?)
• scientific article; zbMATH DE number 515732 (Why is no real title available?)
• scientific article; zbMATH DE number 559756 (Why is no real title available?)
• scientific article; zbMATH DE number 640717 (Why is no real title available?)
• scientific article; zbMATH DE number 679715 (Why is no real title available?)
• scientific article; zbMATH DE number 1775515 (Why is no real title available?)
• scientific article; zbMATH DE number 1775532 (Why is no real title available?)
• scientific article; zbMATH DE number 205724 (Why is no real title available?)
• scientific article; zbMATH DE number 783783 (Why is no real title available?)
• scientific article; zbMATH DE number 886137 (Why is no real title available?)
• scientific article; zbMATH DE number 3219316 (Why is no real title available?)
• scientific article; zbMATH DE number 3335866 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• A framework for automated reasoning in multiple-valued logics
• A new fuzzy resolution principle based on the antonym
• A perspective on certain polynomial-time solvable classes of satisfiability
• A treatise on many-valued logics
• A two-phase algorithm for solving a class of hard satisfiability problems
• Backjumping for quantified Boolean logic satisfiability
• Commodious axiomatization of quantifiers in multiple-valued logic
• Completely non-clausal theorem proving
• Complexity of resolution proofs and function introduction
• Decidability by resolution for propositional modal logics
• Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
• Eliminating dublication with the hyper-linking strategy
• Evaluating general purpose automated theorem proving systems
• Fuzzy temporal constraint logic: A valid resolution principle
• Graded many-valued resolution with aggregation.
• Inference in a multivalued logic system
• Labelled resolution for classical and non-classical logics
• Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
• MV-algebras, BL-algebras, \(R_0\)-algebras, and multiple-valued logic.
• Mechanical Theorem-Proving by Model Elimination
• Metamathematics of fuzzy logic
• ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L_vft
• On Fuzzy Logic I Many‐valued rules of inference
• On resolution with short clauses
• Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
• Reductions for non-clausal theorem proving
• Resolution principles in possibilistic logic
• Resolution-based theorem proving for many-valued logics
• Temporal resolution using a breadth-first search algorithm
• The complexity of minimal satisfiability problems
• \(L\)-valued propositional logic \(L_{\text{vpl}}\)
• \(T\)-resolution: Refinements and model elimination
• \(T\)-theorem proving. I
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)

Cited in

(15)

• On \(v\)-filters and normal \(v\)-filters of a residuated lattice with a weak \(vt\)-operator
• Lattice implication ordered semigroups
• On the algebraic structure of binary lattice-valued fuzzy relations
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
• Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra
• Graded many-valued resolution with aggregation.
• \(J\)-resolution fields of generalized literals of \(L_{14}P (X)\)
• A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
• Fuzzy prime filters of lattice implication algebras
• General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
• On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic
• scientific article; zbMATH DE number 1839652 (Why is no real title available?)
• Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra
• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)

Describes a project that uses

Uses Software

• OTTER
• DISCOUNT
• CLIN

This page was built for publication: Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q867665)