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


Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

login to update
Options:








Author, Editor
Author(s):
Matthews, Seán
Simpson, Alex		dblp
dblp
Editor(s):
Ursini, Aldo
Agilanò, Paolo		dblp
dblp

BibTeX cite key*:

MatthewsSimpson96a

Title, Booktitle

Title*:

Reflection using the derivability conditions

Booktitle*:

Logic and Algebra

Chapter:


Series:


Language:

English

Publisher

Name*:

Marcel Dekker
URL:


Address*:

New York, USA
Publication Type:

Book

Vol, No, pp., Year

Volume:

180
Number:


Edition:

1
Pages*:

603-616

Month:


VG Wort Pages:


ISBN:

0824796063
Year*:

1996

Abstract, Links, ©

Note:


LaTeX Abstract:

Reflection principles are a way to build non-conservative
true extensions of a theory. However the application of a
reflection principle needs a proof predicate, and the effort
needed to provide this is so great as to be not really practical.
We look at a possible way to avoid this effort by using, instead
of a proof predicate, a predicate defined using only necessary
`modal' properties. Surprisingly, we can produce powerful
non-conservative extensions this way. But a reflection principle
based on such a predicate is essentially weaker, and we also
consider its limitations.

URL Abstract:


Tags, Keywords:


Copyright Message:


HyperLinks / References / URLs:


Personal Comments:


Download
Access Level:


Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@INBOOK{MatthewsSimpson96a,
AUTHOR = {Matthews, Se{\'a}n and Simpson, Alex},
 EDITOR = {Ursini, Aldo and Agilan{\`o}, Paolo},
 TITLE = {Reflection using the derivability conditions},
 BOOKTITLE = {Logic and Algebra},
 PUBLISHER = {Marcel Dekker},
 YEAR = {1996},
 TYPE = {Book},
 VOLUME = {180},
 EDITION = {1},
 PAGES = {603--616},
 ADDRESS = {New York, USA},
 ISBN = {0824796063},
}

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)
Uwe Brahm		Created
01/14/1995 06:53:27 PM
Revisions
11.
10.
9.
8.
7.		Editor(s)
Christine Kiesel
Seán Matthews
Uwe Brahm
Seán Matthews
Seán Matthews		Edit Dates
04.09.2001 12:26:49
22/04/97 10:45:48
24.03.97 22:39:57
11/03/97 14:48:18
11/03/97 14:34:36