Alpha-minimal resolution principle for a lattice-valued logic

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

Research output: Contribution to journalArticle

3 Citations (Scopus)
LanguageEnglish
Pages34-43
JournalInternational Journal of Computational Intelligence Systems
Volume8
Issue number1
DOIs
Publication statusPublished - Jan 2015

Keywords

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

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 = "1",
doi = "10.1080/18756891.2014.963985",
language = "English",
volume = "8",
pages = "34--43",
journal = "International Journal of Computational Intelligence Systems",
issn = "1875-6891",
number = "1",

}

Alpha-minimal resolution principle for a lattice-valued logic. / Jia, H.R.; Xu, Y.; Liu, Y.; Liu, Jun.

In: International Journal of Computational Intelligence Systems, Vol. 8, No. 1, 01.2015, p. 34-43.

Research output: Contribution to journalArticle

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

VL - 8

SP - 34

EP - 43

JO - International Journal of Computational Intelligence Systems

T2 - International Journal of Computational Intelligence Systems

JF - International Journal of Computational Intelligence Systems

SN - 1875-6891

IS - 1

ER -