\(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)

DOI10.1016/S0020-0255(00)00069-4zbMath0987.03010MaRDI QIDQ5946276

Etienne E. Kerre, Da Ruan, Yang Xu, Jun Liu

Publication date: 19 June 2002

Published in: Information Sciences (Search for Journal in Brave)

zbMATH Keywords

many-valued logic; lattice-valued logic; many-valued reasoning; resolution principle

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03B35: Mechanization of proofs and logical operations

03B50: Many-valued logic

Related Items

Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\), On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic, General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic, Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra

Cites Work

• Resolution principles in possibilistic logic
• First-order fuzzy logic
• Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
• Completely non-clausal theorem proving
• Paraconsistent disjunctive deductive databases
• The completeness of gp-resolution for annotated logics
• Paraconsistent logic programming
• Fuzzy operator logic and fuzzy resolution
• Filters and structure of lattice implication algebra
• \(L\)-valued propositional logic \(L_{\text{vpl}}\)
• The logic of inexact concepts
• Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions
• Inference in a multivalued logic system
• Special relations in automated deduction
• On Fuzzy Logic I Many‐valued rules of inference
• ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L_vft
• A Machine-Oriented Logic Based on the Resolution Principle
• Fuzzy sets
• Some properties of fuzzy logic
• The Specialization of Programs by Theorem Proving
• Fuzzy Logic and the Resolution Principle
• Axiom schemes for m-valued propositions calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item