Ghent University Academic Bibliography

Advanced

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

Yang Xu, Jun Liu, Da Ruan UGent and Xiaobing Li (2011) INFORMATION SCIENCES. 181(10). p.1836-1862
Please use this url to cite or link to this publication:
author
organization
alternative title
Determination of alpha-resolution in lattice-valued first-order logic LF(X)
year
type
journalArticle (original)
publication status
published
subject
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
journal title
INFORMATION SCIENCES
Inf. Sci.
volume
181
issue
10
pages
1836 - 1862
Web of Science type
Article
Web of Science id
000288833300006
JCR category
COMPUTER SCIENCE, INFORMATION SYSTEMS
JCR impact factor
2.833 (2011)
JCR rank
9/133 (2011)
JCR quartile
1 (2011)
ISSN
0020-0255
DOI
10.1016/j.ins.2010.03.024
language
English
UGent publication?
yes
classification
A1
copyright statement
I have transferred the copyright for this publication to the publisher
id
2080668
handle
http://hdl.handle.net/1854/LU-2080668
date created
2012-04-04 13:58:32
date last changed
2016-12-19 15:44:52
@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},
}

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.