Part, Chapter of a Book
@InBook, Buchkapitel
Beitrag im Sammelband


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):

Fitting, Melvin
Orlowska, Ewa

dblp
dblp

Not MPII Editor(s):

Fitting, Melvin
Orlowska, Ewa

BibTeX cite key*:

Sofronie-Stokkermans-mvl-2003

Title, Booktitle

Title*:

Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving


mvl-book-02.ps (375.22 KB)

Booktitle*:

Beyond Two: Theory and Applications of Multiple Valued Logic

Chapter:

3

Series:

Studies in Fuzziness and Soft Computing

Language:

English

Publisher

Name*:

Springer

URL:

http://www.springer.de/

Address*:

Berlin, Germany

Publication Type:


Vol, No, pp., Year

Volume:

114

Number:


Edition:


Pages*:

59-100

Month:

January

VG Wort Pages:


ISBN:

3-7908-1541-1

Year*:

2003

Abstract, Links, ©

Note:


LaTeX Abstract:

We give a uniform presentation of representation and
decidability results related to the Kripke-style
semantics of several non-classical logics.
We show that a general representation theorem
(which has as particular instances the representation
theorems as algebras of sets for Boolean algebras,
distributive lattices and semilattices)
extends in a natural way to several classes of operators
and allows to establish a relationship between algebraic
and Kripke-style models. We illustrate the ideas on several examples.
We conclude by showing how the Kripke-style models thus obtained can be used
(if first-order axiomatizable) for automated theorem proving by
resolution for some non-classical logics.

URL Abstract:


Tags, Keywords:


Copyright Message:

Copyright Springer Verlag.

HyperLinks / References / URLs:


Personal Comments:


Download
Access Level:

Public

Correlation

MPG Unit:




MPG Subunit:


Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort
BibTeX Entry:
@INBOOK{Sofronie-Stokkermans-mvl-2003,
AUTHOR = {Sofronie-Stokkermans, Viorica},
EDITOR = {Fitting, Melvin and Orlowska, Ewa},
TITLE = {Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving},
BOOKTITLE = {Beyond Two: Theory and Applications of Multiple Valued Logic},
PUBLISHER = {Springer},
YEAR = {2003},
VOLUME = {114},
CHAPTER = {3},
PAGES = {59--100},
SERIES = {Studies in Fuzziness and Soft Computing},
ADDRESS = {Berlin, Germany},
MONTH = {January},
ISBN = {3-7908-1541-1},
}


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:37 AM
Revisions
6.
5.
4.
3.
2.
Editor(s)
Christine Kiesel
Christine Kiesel
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
17.06.2004 16:05:02
07.07.2003 16:39:38
05/23/2003 03:37:29 PM
23/01/2003 15:20:28
09/09/2002 15:24:14
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section

View attachments here:


File Attachment Icon
mvl-book-02.ps