On derivability

DOI10.2307/2266290MaRDI QIDQ5769238zbMATH OpenOpenAlexFDO

Authors W. V. Quine

Publication date 1937

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2266290

zbMATH Keywords

logicconcatenationderivabilitydeducibilityfunctional calculus of the first order with identity

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Publication:4487298
• Deduktiv abgeschlossene Mengen ohne Basis
• scientific article; zbMATH DE number 3954903
• On the definition of ‘formal deduction’
• scientific article; zbMATH DE number 4145898

Cites work

• General recursive functions of natural numbers

Cited in

(5)

• scientific article; zbMATH DE number 3135142 (Why is no real title available?)
• scientific article; zbMATH DE number 4037808 (Why is no real title available?)
• Inception of Quine's ontology
• scientific article; zbMATH DE number 937389 (Why is no real title available?)
• scientific article; zbMATH DE number 1463150 (Why is no real title available?)

This page was built for publication: On derivability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5769238)