Reduction and Tarski's definition of logical consequence
From MaRDI portal
Publication:558729
DOI10.1305/NDJFL/1082637614zbMATH Open1071.03001OpenAlexW2088010675MaRDI QIDQ558729FDOQ558729
Authors: 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
Recommendations
Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)
Cites Work
- Title not available (Why is that?)
- Completeness in the theory of types
- Title not available (Why is that?)
- What are logical notions?
- Tarski on logical consequences
- The Discovery of My Completeness Proofs
- Tarski on truth and logical consequence
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (5)
This page was built for publication: Reduction and Tarski's definition of logical consequence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q558729)