Reduction and Tarski's definition of logical consequence

DOI10.1305/ndjfl/1082637614zbMath1071.03001OpenAlexW2088010675MaRDI QIDQ558729

Jim Edwards

Publication date: 13 July 2005

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1082637614

zbMATH Keywords

reductionlogical consequenceTarski

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items

REREADING TARSKI ON LOGICAL CONSEQUENCE

Cites Work

• Tarski on logical consequences
• What are logical notions?
• Tarski on truth and logical consequence
• The Discovery of My Completeness Proofs
• Completeness in the theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item