Non-Clausal Multi-ary a-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
2018 ◽
Vol 11
(1)
◽
pp. 384
◽
1972 ◽
Vol 1972
(256)
◽
pp. 107-129
1987 ◽
Vol 101
(2)
◽
pp. 221-231
◽
Keyword(s):
2000 ◽
Vol 113
(18)
◽
pp. 8168-8174
◽
Keyword(s):
2018 ◽
Vol 51
(3)
◽
pp. 818-830
◽
Keyword(s):