Foundations for the formalization of metamathematics and axiomatizations of consequence theories (Q598315)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Foundations for the formalization of metamathematics and axiomatizations of consequence theories |
scientific article |
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
