An ordered resolution and paramodulation calculus for finite many-valued logics

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0023435 ◽

2005 ◽

pp. 304-318

Author(s):

Nicolas Zabel

Download Full-text