Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra

DOI10.1007/S12204-012-1249-1zbMath1283.03091OpenAlexW2315525767MaRDI QIDQ2440194

Wei-tao Xu, Yang Xu

Publication date: 27 March 2014

Published in: Journal of Shanghai Jiaotong University (Science) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s12204-012-1249-1

zbMATH Keywords

automated reasoninglattice-valued logiclattice implication algebrageneralized clause

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logical aspects of lattices and related structures (03G10) Mechanization of proofs and logical operations (03B35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
• Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
• Resolution-based theorem proving for many-valued logics
• ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L_vft
• A Machine-Oriented Logic Based on the Resolution Principle
• \(\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)\)

This page was built for publication: Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra