Abstract
Many-valued logic system always plays a crucial role in artificial intelligence. Many researchers have paid considerable attention to lattice-valued logic with truth values in a lattice. In this paper, based on lattice implication algebras introduced by Xu, the semantics of a L-type lattice-valued first-order logic Lvfl with truth values in lattice implication algebras were investigated. Some basic concepts about semantics of Lvfl such as the language and the interpretation etc. were given and some semantic properties also were discussed. Finally, a concept of g-Skolem standard form was introduced, and it was shown that the unsatisfiability of a given lattice-valued formula was equivalent to that of its g-Skolem standard form. It will become a foundation to investigate the resolution principle based on first-order logic Lvfl.
Original language | English |
---|---|
Pages (from-to) | 53-79 |
Number of pages | 27 |
Journal | International Journal of General Systems |
Volume | 29 |
Issue number | 1 |
DOIs | |
Publication status | Published (in print/issue) - 2000 |
Keywords
- many-valued logic
- L-valued first-order logic
- semantics of L-vfl
- g-Skolem standard form
- resolution principle