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...

Full description

Bibliographic Details
Main Authors: Yi Liu, Hairui Jia, Yang Xu
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