Representation Theorems and Automated Theorem Proving in Non-Classical Logics

Sofronie-Stokkermans, Viorica

Local TagsRelease HistoryDetailsSummary

Representation Theorems and Automated Theorem Proving in Non-Classical Logics

Sofronie-Stokkermans, V. (1999). Representation Theorems and Automated Theorem Proving in Non-Classical Logics. In Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL-99) (pp. 242-247). Los Alamitos, USA: IEEE.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-368E-6 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-368F-4

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Sofronie-Stokkermans, Viorica^{1, 2}, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

hide

Free keywords: -

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.

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Date issued: 1999

Publication Status: Issued

Pages: -

Publishing info: Los Alamitos, USA : IEEE

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519853
Other: Local-ID: C1256104005ECAFC-0B081A8B313B1B07C125674600691176-Sofronie-Stokkermans1999-ismvl

Degree: -

Event

show

hide

Title: Untitled Event

Place of Event: Freiburg im Breisgau, Germany

Start-/End Date: 2003-07-08 - 2003-07-12

Legal Case

show

Project information

show

Source 1

show

hide

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

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: Los Alamitos, USA : IEEE

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 242 - 247 Identifier: ISBN: 0-7695-0161-3