English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Representation Theorems and Automated Theorem Proving in Certain Classes of Non-classical Logics

Sofronie-Stokkermans, V. (1998). Representation Theorems and Automated Theorem Proving in Certain Classes of Non-classical Logics. In P. Eklund, G. Escalada-Imaz, R. Haehnle, & P. Vojtas (Eds.), Proceedings of the Workshop on Many-Valued Logic for AI Applications. Brighton, UK: ECAI.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-A614-0 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-A615-E
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Sofronie-Stokkermans, Viorica1, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show
hide
Free keywords: -
 Abstract: The main goal of this paper is to present a method for translation to clause form in finitely-valued logics having as algebras of truth values distributive lattices with certain types of operators. The method uses the Priestley dual of the algebra of truth values. We illustrate these general ideas by several examples, and show that the general complexity can be further improved by using the structure of particular algebras of truth values. We then show that these ideas are actually much more general: we further develop one of our previous ideas where we showed that Priestley duality is useful in better understanding the link between algebraic and Kripke-style models for certain non-classical logics, and give several examples.

Details

show
hide
Language(s): eng - English
 Dates: 1998
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Sofronie1998c
 Degree: -

Event

show
hide
Title: Workshop on Many-Valued Logic for AI Applications
Place of Event: Brighton, UK
Start-/End Date: -

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of the Workshop on Many-Valued Logic for AI Applications
  Abbreviation : ECAI 1998
Source Genre: Proceedings
 Creator(s):
Eklund, Patrick1, Editor
Escalada-Imaz, Gonzalo1, Editor
Haehnle, Reiner1, Editor
Vojtas, Peter1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Brighton, UK : ECAI
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -