Date: 17 May 2002

Resolution-Based Theorem Proving for SH n-Logics

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.