Key notions of Tarski's methodology of deductive systems (Q1820770)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Key notions of Tarski's methodology of deductive systems |
scientific article |
Statements
Key notions of Tarski's methodology of deductive systems (English)
0 references
1985
0 references
The aim of the article is to outline the historical background and the present state of the methodology of deductive systems invented by Alfred Tarski in the thirties. Key notions of Tarski's methodology are presented and discussed through the recent development of the original concepts and ideas.
0 references
consequence operation
0 references
methodology of deductive systems
0 references
Tarski
0 references
0 references
0 references
0 references
