Foundations for the formalization of metamathematics and axiomatizations of consequence theories (Q598315)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Foundations for the formalization of metamathematics and axiomatizations of consequence theories |
scientific article; zbMATH DE number 2083201
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Foundations for the formalization of metamathematics and axiomatizations of consequence theories |
scientific article; zbMATH DE number 2083201 |
Statements
Foundations for the formalization of metamathematics and axiomatizations of consequence theories (English)
0 references
6 August 2004
0 references
The paper under review deals with Tarski's axiomatic presentation of the syntax of deductive systems. The main part of it is a survey of research on the theory of deductive systems initiated by Tarski. In particular the following topics are presented: the axiomatization of the general notion of consequence operation, axiom systems for the theories of classical consequence and for some equivalent theories, axiom systems for the theories of nonclassical consequence. The results of Jerzy Słupecki and people belonging to his research circle (among them of the author herself) are also taken into account.
0 references
Formalization of metamathematics
0 references
Theory of deductive systems
0 references
Classical and nonclassical consequences
0 references
Rejection consequence
0 references
