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-Stokkermans2001-ismvl

Title, Booktitle

Title*:

Representation theorems and the semantics of (semi)lattice-based logics

Booktitle*:

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logics

Event, URLs

URL of the conference:

http://www.ipipan.waw.pl/~ismvl/

URL for downloading the paper:


Event Address*:

Warsaw, Poland

Language:

English

Event Date*
(no longer used):

May, 22-24

Organization:

IEEE Computer Society, Institute of Computer Science Polish Academy of Sciences

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:


Pages:

125-134

Year*:

2001

VG Wort Pages:

20

ISBN/ISSN:

0-7695-1083-3

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

This paper gives a unified presentation of various 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) allows to establish a relationship between
algebraic models and Kripke-style models, and illustrate the
ideas on several examples.
Based on this, we present a method for automated theorem
proving by resolution in such logics.
Other representation theorems, as algebras of sets or as
algebras of relations, as well as relational models are
also mentioned.

URL for the Abstract:

http://computer.org/proceedings/ismvl/1083/10830125abs.htm


Personal Comments:

Invited paper

Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Appearance:

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



BibTeX Entry:

@INPROCEEDINGS{Sofronie-Stokkermans2001-ismvl,
AUTHOR = {Sofronie-Stokkermans, Viorica},
TITLE = {Representation theorems and the semantics of (semi)lattice-based logics},
BOOKTITLE = {Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logics},
PUBLISHER = {IEEE},
YEAR = {2001},
ORGANIZATION = {IEEE Computer Society, Institute of Computer Science Polish Academy of Sciences},
PAGES = {125--134},
ADDRESS = {Warsaw, Poland},
ISBN = {0-7695-1083-3},
}


Entry last modified by Christine Kiesel, 03/12/2010
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
05/30/2001 10:10:15 AM
Revisions
6.
5.
4.
3.
2.
Editor(s)
Christine Kiesel
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Manfred Jaeger
Manfred Jaeger
Edit Dates
08.07.2003 15:29:15
05/23/2003 03:48:06 PM
23/01/2002 11:17:36
03/09/2001 20:13:32
31/08/2001 11:58:18
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section