Date: 17 May 2002

Resolution-Based Theorem Proving for SH n -Logics

* Final gross prices may vary according to local VAT.

Get Access


In this paper we illustrate by means of an example, namely SH n-logics, a method for translation to clause form and automated theorem proving for first-order many-valued logics based on distributive lattices with operators.