Publications: Part of a Book - Sofronie-Stokkermans Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving

Title*:	Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
Attachments	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:	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:

@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/12/2010

Edit History (please click the blue arrow to see the details)

	Editor(s) Viorica Sofronie-Stokkermans	Created 05/17/2002 01:25:37 PM
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

Attachment Section

mvl-book-02.ps

mvl-book-02.ps