On the logic of quantification

DOI10.2307/2267200MaRDI QIDQ5834317zbMATH OpenOpenAlexFDO

Authors W. V. Quine

Publication date 1945

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

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

zbMATH Keywords

foundations, philosophy, logic

Cited in

(11)

• A note on the theory of quantification
• Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
• Report: an examination of a decision procedure
• Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
• Some theorems on definability and decidability
• Simplified foundations for mathematical logic
• An extended procedure in quantificational logic
• Jean van Heijenoort's conception of modern logic, in historical perspective
• Second-order quantifier elimination on relational monadic formulas -- a basic method and some less expected applications
• Schemata: The Concept of Schema in the History of Logic
• A syntactic proof of the decidability of first-order monadic logic

This page was built for publication: On the logic of quantification

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