Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X)
One of key issues for -() ary resolution automated reasoning based on lattice-valued logic with truth-value in a lattice implication algebra is to investigate the -() ary resolution of some generalized literals. In this article, the determination of -resolution of any 3-ary generalized literals whic...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Atlantis Press
2013-09-01
|
Series: | International Journal of Computational Intelligence Systems |
Subjects: | |
Online Access: | https://www.atlantis-press.com/article/25868432.pdf |
id |
doaj-c56fbeeb064543fab59bfaa5e993f549 |
---|---|
record_format |
Article |
spelling |
doaj-c56fbeeb064543fab59bfaa5e993f5492020-11-25T02:39:22ZengAtlantis PressInternational Journal of Computational Intelligence Systems 1875-68832013-09-016510.1080/18756891.2013.808802Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X)Yi LiuHairui JiaYang XuOne of key issues for -() ary resolution automated reasoning based on lattice-valued logic with truth-value in a lattice implication algebra is to investigate the -() ary resolution of some generalized literals. In this article, the determination of -resolution of any 3-ary generalized literals which include the implication operators not more than 2 in LP(X). It not only lay the foundation for practical implementation of automated reasoning algorithm in LP(X), but also provides the strong support for -() ary resolution automated reasoning approaches.https://www.atlantis-press.com/article/25868432.pdfIncomparabilitylattice implication algebraLattice-valued logicautomated reasoning– ary resolution |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Yi Liu Hairui Jia Yang Xu |
spellingShingle |
Yi Liu Hairui Jia Yang Xu Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X) International Journal of Computational Intelligence Systems Incomparability lattice implication algebra Lattice-valued logic automated reasoning – ary resolution |
author_facet |
Yi Liu Hairui Jia Yang Xu |
author_sort |
Yi Liu |
title |
Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X) |
title_short |
Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X) |
title_full |
Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X) |
title_fullStr |
Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X) |
title_full_unstemmed |
Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X) |
title_sort |
determination of 3-ary -resolution in lattice-valued propositional logic lp(x) |
publisher |
Atlantis Press |
series |
International Journal of Computational Intelligence Systems |
issn |
1875-6883 |
publishDate |
2013-09-01 |
description |
One of key issues for -() ary resolution automated reasoning based on lattice-valued logic with truth-value in a lattice implication algebra is to investigate the -() ary resolution of some generalized literals. In this article, the determination of -resolution of any 3-ary generalized literals which include the implication operators not more than 2 in LP(X). It not only lay the foundation for practical implementation of automated reasoning algorithm in LP(X), but also provides the strong support for -() ary resolution automated reasoning approaches. |
topic |
Incomparability lattice implication algebra Lattice-valued logic automated reasoning – ary resolution |
url |
https://www.atlantis-press.com/article/25868432.pdf |
work_keys_str_mv |
AT yiliu determinationof3aryresolutioninlatticevaluedpropositionallogiclpx AT hairuijia determinationof3aryresolutioninlatticevaluedpropositionallogiclpx AT yangxu determinationof3aryresolutioninlatticevaluedpropositionallogiclpx |
_version_ |
1724786548014055424 |