Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Sofronie-Stokkermans, Viorica

dblp



Editor(s):





BibTeX cite key*:

Sofronie-Stokkermans1999-ismvl

Title, Booktitle

Title*:

Representation Theorems and Automated Theorem Proving in Non-Classical Logics

Booktitle*:

Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL-99)

Event, URLs

URL of the conference:

http://www.informatik.uni-freiburg.de/~drechsle/ismvl99/index.html

URL for downloading the paper:


Event Address*:

Freiburg im Breisgau, Germany

Language:

English

Event Date*
(no longer used):

May 20-22, 1999

Organization:

IEEE Computer Society

Event Start Date:

8 July 2003

Event End Date:

12 July 2003

Publisher

Name*:

IEEE

URL:


Address*:

Los Alamitos, USA

Type:


Vol, No, Year, pp.

Series:


Volume:


Number:


Month:

May

Pages:

242-247

Year*:

1999

VG Wort Pages:


ISBN/ISSN:

0-7695-0161-3

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

In this paper we present a method for automated theorem proving in non-classical logics having as algebraic models bounded distributive lattices with certain types of operators.
The idea is to use results from Priestley duality for distributive lattices with operators in order to define a class of Kripke-style models with respect to which the logic is sound and complete. If this class of Kripke-style models is elementary, it can then be used for a translation to clause form; satisfiability of the resulting clauses can be checked by resolution. We illustrate the general ideas by several examples, one of which is presented in detail.

Keywords:

Theorem Proving, Non-classical logic



Download
Access Level:

Public

Correlation

MPG Unit:




MPG Subunit:


Audience:

Expert

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat



BibTeX Entry:

@INPROCEEDINGS{Sofronie-Stokkermans1999-ismvl,
AUTHOR = {Sofronie-Stokkermans, Viorica},
TITLE = {Representation Theorems and Automated Theorem Proving in Non-Classical Logics},
BOOKTITLE = {Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL-99)},
PUBLISHER = {IEEE},
YEAR = {1999},
ORGANIZATION = {IEEE Computer Society},
PAGES = {242--247},
ADDRESS = {Freiburg im Breisgau, Germany},
MONTH = {May},
ISBN = {0-7695-0161-3},
}


Entry last modified by Christine Kiesel, 03/20/2007
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Viorica Sofronie-Stokkermans
Created
03/20/2007 10:12:36 AM
Revisions
12.
11.
10.
9.
8.
Editor(s)
Christine Kiesel
Christine Kiesel
Uwe Brahm
Anja Becker
Anja Becker
Edit Dates
08.07.2003 15:29:53
30.08.2001 10:00:07
03/29/2001 09:13:10 PM
31.03.2000 13:51:36
28.03.2000 10:38:19
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section