Carregando...
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...
Na minha lista:
| Principais autores: | , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Springer
2013-09-01
|
| coleção: | International Journal of Computational Intelligence Systems |
| Assuntos: | |
| Acesso em linha: | https://www.atlantis-press.com/article/25868432.pdf |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|