Alpha-minimal resolution principle for a lattice-valued logic

H.R. Jia; Y. Xu; Y. Liu; Jun Liu

doi:10.1080/18756891.2014.963985

Alpha-minimal resolution principle for a lattice-valued logic

H.R. Jia, Y. Xu, Y. Liu, Jun Liu

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	34-43
Journal	International Journal of Computational Intelligence Systems
Volume	8
Issue number	1
DOIs	https://doi.org/10.1080/18756891.2014.963985
Publication status	Published (in print/issue) - Jan 2015

Keywords

Automated reasoning
lattice-valued propositional logic LP(X)
lattice-valued first-order logic LF(X)
α-minimal resolution principle
α-minimal resolution group

Access to Document

10.1080/18756891.2014.963985

Cite this

@article{feeb764b67994412a27a14fdc7fe1156,

title = "Alpha-minimal resolution principle for a lattice-valued logic",

keywords = "Automated reasoning, lattice-valued propositional logic LP(X), lattice-valued first-order logic LF(X), α-minimal resolution principle, α-minimal resolution group",

author = "H.R. Jia and Y. Xu and Y. Liu and Jun Liu",

year = "2015",

month = jan,

doi = "10.1080/18756891.2014.963985",

language = "English",

volume = "8",

pages = "34--43",

journal = "International Journal of Computational Intelligence Systems",

issn = "1875-6883",

publisher = "Taylor & Francis",

number = "1",

}

TY - JOUR

T1 - Alpha-minimal resolution principle for a lattice-valued logic

AU - Jia, H.R.

AU - Xu, Y.

AU - Liu, Y.

AU - Liu, Jun

PY - 2015/1

Y1 - 2015/1

KW - Automated reasoning

KW - lattice-valued propositional logic LP(X)

KW - lattice-valued first-order logic LF(X)

KW - α-minimal resolution principle

KW - α-minimal resolution group

U2 - 10.1080/18756891.2014.963985

DO - 10.1080/18756891.2014.963985

M3 - Article

SN - 1875-6883

VL - 8

SP - 34

EP - 43

JO - International Journal of Computational Intelligence Systems

JF - International Journal of Computational Intelligence Systems

IS - 1

ER -