A proof procedure for quantification theory

DOI10.2307/2266900MaRDI QIDQ3229411zbMATH OpenOpenAlexFDO

Authors W. V. Quine

Publication date 1955

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

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

zbMATH Keywords

Philosophy and foundations of mathematics

Cites work

• On the Completeness of Quantification Theory

Cited in

(4)

• From Schütte’s Formal Systems to Modern Automated Deduction
• On the relations between SAT and CSP enumerative algorithms
• Jean van Heijenoort's contributions to proof theory and its history
• Beweisalgorithmen für die Prädikatenlogik

This page was built for publication: A proof procedure for quantification theory

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