✦ LIBER ✦

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

✍ Scribed by Wei-tao Xu; Yang Xu

Book ID: 113099581
Publisher: Chinese Electronic Periodical Services
Year: 2012
Tongue: English
Weight: 205 KB
Volume: 17
Category: Article
ISSN: 1007-1172
DOI: 10.1007/s12204-012-1249-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

resolution method for a lattice-valued f

resolution method for a lattice-valued first-order logic

✍ Xingxing He; Yang Xu; Jun Liu; Da Ruan 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 240 KB

Lattice-valued modal propositional logic

Lattice-valued modal propositional logic based on M-lattice implication algebras

✍ Yi Liu; Jun Liu; Shu-wei Chen; Yang Xu 📂 Article 📅 2012 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 170 KB

On the consistency of rule bases based o

On the consistency of rule bases based on lattice-valued first-order logic LF(X)

✍ Yang Xu; Jun Liu; Da Ruan; Tsu-Tian Lee 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 209 KB 👁 1 views

The consistency of a rule base is an essential issue for rule-based intelligent information processing. Due to the uncertainty inevitably included in the rule base, it is necessary to verify the consistency of the rule base while investigating, designing, and applying a rule-based intelligent system