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ándblp
Editor(s):
Gabbay, Dov M.dblp

BibTeX cite key*:

Matthews94b

Title, Booktitle

Title*:

A Theory and its Metatheory in {$FS_0$}

Booktitle*:

What is a logical system?

Chapter:

13

Series:


Language:

English

Publisher

Name*:

Oxford University Press
URL:


Address*:

Oxford, UK
Publication Type:


Vol, No, pp., Year

Volume:


Number:


Edition:


Pages*:

329-354

Month:


VG Wort Pages:


ISBN:


Year*:

1994

Abstract, Links, ©

Note:

Also available as Research Report MPI-I-93-227, Max-Planck-Institut für Informatik, Saarbrücken

LaTeX Abstract:

Feferman has proposed {$FS_0$}, a theory of finitary inductive systems, as a framework theory suitable for various purposes, including practically reasoning both in and about encoded theories. I discuss here a formalisation of a sequent calculus presentation of classical propositional logic in {$FS_0$} and how this can be used for work in both the theory and the meta-theory. I illustrate the latter with a discussion of a proof of Gentzen's Hauptsatz.

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 FTP Server, MPG publications list, university publications list, working group publication list
BibTeX Entry:
@INBOOK{Matthews94b,
AUTHOR = {Matthews, Se{\'a}n},
 EDITOR = {Gabbay, Dov M.},
 TITLE = {A Theory and its Metatheory in {$FS_0$}},
 BOOKTITLE = {What is a logical system?},
 PUBLISHER = {Oxford University Press},
 YEAR = {1994},
 CHAPTER = {13},
 PAGES = {329--354},
 ADDRESS = {Oxford, UK},
 NOTE = {Also available as Research Report MPI-I-93-227, Max-Planck-Institut für Informatik, Saarbrücken},
}

Entry last modified by Christine Kiesel/AG2/MPII/DE, 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:52:19 PM
Revisions
7.
6.
5.
4.
3.		Editor(s)
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE		Edit Dates
13/12/95 12:21:07
24/02/95 12:08:58
14/02/95 10:57:53
13/02/95 14:55:02
07/02/95 11:59:08