Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)

Linguistic Truth-Valued Lattice Value Propositional Logic System lP(X)

Authors
Jiajun Lai1, Kaijun Xu, Yang Xu, Zhaoyou Zeng
1School of Information Science & Technology, Southwest Jiaotong University
Corresponding Author
Jiajun Lai
Available Online October 2007.
DOI
10.2991/iske.2007.244How to use a DOI?
Keywords
Linguistic truth-valued LIA, Valuation, Valid formula, -valid
Abstract

In this paper, as a continuous work about linguistic truth-valued LIA, the lattice value propositional logic system whose valuation field seen as L-LIA is focused. Firstly, some properties about linguistic truth value LIA are discussed. On the other hand, some concepts about linguistic truth value lattice-valued propositional logic system was establish, whose truth value domain is a linguistic truth-valued lattice implication algebra, and the semantic problems of were investigated.

Copyright
© 2007, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)
Series
Advances in Intelligent Systems Research
Publication Date
October 2007
ISBN
10.2991/iske.2007.244
ISSN
1951-6851
DOI
10.2991/iske.2007.244How to use a DOI?
Copyright
© 2007, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Jiajun Lai
AU  - Kaijun Xu
AU  - Yang Xu
AU  - Zhaoyou Zeng
PY  - 2007/10
DA  - 2007/10
TI  - Linguistic Truth-Valued Lattice Value Propositional Logic System lP(X)
BT  - Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)
PB  - Atlantis Press
SP  - 1434
EP  - 1439
SN  - 1951-6851
UR  - https://doi.org/10.2991/iske.2007.244
DO  - 10.2991/iske.2007.244
ID  - Lai2007/10
ER  -