L-valued propositional logic L-vpl

Y Xu; KY Qin; J Liu; ZM Song

doi:10.1080/03081070008960924

L-valued propositional logic L-vpl

Y Xu, KY Qin, J Liu, ZM Song

School of Computing, Eng & Intel. Sys

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

Original language	English
Pages (from-to)	205-235
Journal	Information Sciences
Volume	114
Issue number	1-4
DOIs	https://doi.org/10.1080/03081070008960924
Publication status	Published (in print/issue) - Mar 1999

Keywords

L-valued propositional logic
soundness
completeness
satisfiability
consistence
deduction theorem
compactness

Access to Document

10.1080/03081070008960924

Cite this

@article{8b49690753334f16a29c2e8d12c68d46,

title = "L-valued propositional logic L-vpl",

keywords = "L-valued propositional logic, soundness, completeness, satisfiability, consistence, deduction theorem, compactness",

author = "Y Xu and KY Qin and J Liu and ZM Song",

year = "1999",

month = mar,

doi = "10.1080/03081070008960924",

language = "English",

volume = "114",

pages = "205--235",

journal = "Information Sciences",

issn = "0020-0255",

publisher = "Elsevier Inc.",

number = "1-4",

}

TY - JOUR

T1 - L-valued propositional logic L-vpl

AU - Xu, Y

AU - Qin, KY

AU - Liu, J

AU - Song, ZM

PY - 1999/3

Y1 - 1999/3

KW - L-valued propositional logic

KW - soundness

KW - completeness

KW - satisfiability

KW - consistence

KW - deduction theorem

KW - compactness

U2 - 10.1080/03081070008960924

DO - 10.1080/03081070008960924

M3 - Article

SN - 0020-0255

VL - 114

SP - 205

EP - 235

JO - Information Sciences

JF - Information Sciences

IS - 1-4

ER -