Advanced search
1 file | 511.43 KB

Determination of α-resolution in lattice-valued first-order logic LF(X)

(2011) INFORMATION SCIENCES. 181(10). p.1836-1862
Author
Organization
Keywords
alpha-Resolution, Lattice-valued logic, FUZZY-LOGIC, PROPOSITIONAL CALCULI, RESIDUATED LATTICES, ALGEBRAIC APPROACH, ANNOTATED LOGIC, PRINCIPLE, SETS, SEMANTICS, FRAMEWORK, INFERENCE, Incomparability, Many-valued logic, Automated reasoning, Lattice implication algebra

Downloads

    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 511.43 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Xu, Yang, Jun Liu, Da Ruan, and Xiaobing Li. 2011. “Determination of Α-resolution in Lattice-valued First-order Logic LF(X).” Information Sciences 181 (10): 1836–1862.
APA
Xu, Yang, Liu, J., Ruan, D., & Li, X. (2011). Determination of α-resolution in lattice-valued first-order logic LF(X). INFORMATION SCIENCES, 181(10), 1836–1862.
Vancouver
1.
Xu Y, Liu J, Ruan D, Li X. Determination of α-resolution in lattice-valued first-order logic LF(X). INFORMATION SCIENCES. 2011;181(10):1836–62.
MLA
Xu, Yang, Jun Liu, Da Ruan, et al. “Determination of Α-resolution in Lattice-valued First-order Logic LF(X).” INFORMATION SCIENCES 181.10 (2011): 1836–1862. Print.
@article{2080668,
  author       = {Xu, Yang and Liu, Jun and Ruan, Da and Li, Xiaobing},
  issn         = {0020-0255},
  journal      = {INFORMATION SCIENCES},
  keyword      = {alpha-Resolution,Lattice-valued logic,FUZZY-LOGIC,PROPOSITIONAL CALCULI,RESIDUATED LATTICES,ALGEBRAIC APPROACH,ANNOTATED LOGIC,PRINCIPLE,SETS,SEMANTICS,FRAMEWORK,INFERENCE,Incomparability,Many-valued logic,Automated reasoning,Lattice implication algebra},
  language     = {eng},
  number       = {10},
  pages        = {1836--1862},
  title        = {Determination of \ensuremath{\alpha}-resolution in lattice-valued first-order logic LF(X)},
  url          = {http://dx.doi.org/10.1016/j.ins.2010.03.024},
  volume       = {181},
  year         = {2011},
}

Altmetric
View in Altmetric
Web of Science
Times cited: