MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Sofronie-Stokkermans, Vioricadblp
Editor(s):
Vaz de Carvalho, Júlia
Ferreirim, Isabel		dblp
dblp
BibTeX cite key*:
Sofronie-Stokkermans-dualities1999
Title, Booktitle
Title*:
Priestley representation for distributive lattices with operators and applications to automated theorem proving
Booktitle*:
Dualities, Interpretability and Ordered Structures
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Lisbon, Portugal
Language:
English
Event Date*
(no longer used):
September, 26-27, 1997
Organization:
Event Start Date:
8 July 2003
Event End Date:
12 July 2003
Publisher
Name*:
Centro de 'Algebra da Universidade de Lisboa
URL:
Address*:
Lisbon
Type:
Extended Abstract
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
Pages:
43-54
Year*:
1999
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
We present an extension of the Priestley representation theorem to distributive lattices with operators.
We then point out how it can be used for automated theorem proving in certain finitely-valued logics.
Personal Comments:
The results on Priestley representation for DLO contained in
this extended abstract are presented in detail (and extended)
in the following journal papers: [Sofronie1997b, Sofronie1997c].
The applications to automated theorem proving are presented in
detail in [Sofronie-Stokkermans1999]
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
Expert
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat



BibTeX Entry:
@INPROCEEDINGS{Sofronie-Stokkermans-dualities1999,
AUTHOR = {Sofronie-Stokkermans, Viorica},
 EDITOR = {Vaz de Carvalho, Júlia and Ferreirim, Isabel},
 TITLE = {Priestley representation for distributive lattices with operators and applications to automated theorem proving},
 BOOKTITLE = {Dualities, Interpretability and Ordered Structures},
 PUBLISHER = {Centro de 'Algebra da Universidade de Lisboa},
 YEAR = {1999},
 TYPE = {Extended Abstract},
 PAGES = {43--54},
 ADDRESS = {Lisbon, Portugal},
}

Entry last modified by Christine Kiesel, 03/12/2010
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
02/03/2000 11:57:56 AM
Revisions
9.
8.
7.
6.
5.		Editor(s)
Christine Kiesel
Manfred Jaeger
Manfred Jaeger
Manfred Jaeger
Manfred Jaeger		Edit Dates
08.07.2003 15:36:01
06/09/2001 15:12:29
03/09/2001 20:14:58
31/08/2001 18:46:15
31/08/2001 18:44:53