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

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