Key notions of Tarski's methodology of deductive systems (Q1820770)
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: Key notions of Tarski's methodology of deductive systems |
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
