α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems
In this paper, an α-resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic system ℒ P(X) based on lattice implication algebra. Firstly, the notions of lattice-valued Horn generalized clause, normal la...
| Κύριοι συγγραφείς: | , , , , |
|---|---|
| Μορφή: | Άρθρο |
| Γλώσσα: | English |
| Έκδοση: |
Springer
2015-12-01
|
| Σειρά: | International Journal of Computational Intelligence Systems |
| Θέματα: | |
| Διαθέσιμο Online: | https://www.atlantis-press.com/article/25868666.pdf |