Resolution-based theorem proving for SHn-logics

Authors
Sofronie-Stokkermans, V
Citation
V. Sofronie-stokkermans, Resolution-based theorem proving for SHn-logics, LECT N A I, 1761, 2000, pp. 267-281
Citations number
16
Categorie Soggetti
Current Book Contents
Journal title
AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS → ACNP
ISSN journal
03029743
Volume
1761
Year of publication
2000
Pages
267 - 281
Database
ISI
SICI code
0302-9743(2000)1761:<267:RTPFS>2.0.ZU;2-J
Abstract
In this paper we illustrate by means of an example, namely SHn-logics, a me thod for translation to clause form and automated theorem proving for first -order many-valued logics based on distributive lattices with operators.