A Computing Procedure for Quantification Theory

&
Journal of Symbolic Logic 31 (1):125-126 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270653

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Martin Davis, Hilary Putnam, A Computing Procedure for Quantification Theory. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):125-126.
Wittgenstein's Theory of Quantification.T. F. Baxley - 1980 - International Logic Review 21:46.
A proof procedure for quantification theory.W. V. Quine - 1955 - Journal of Symbolic Logic 20 (2):141-149.
Non-traditional squares of predication and quantification.Mireille Staschok - 2008 - Logica Universalis 2 (1):77-85.
Quantification Theory in *8 of Principia Mathematica and the Empty Domain.Gregory Landini - 2005 - History and Philosophy of Logic 26 (1):47-59.
Unrestricted Quantification.Salvatore Florio - 2014 - Philosophy Compass 9 (7):441-454.
The ineliminability of non-nominal quantification.David Dolby - unknown
Women and the social construction of the computing culture: Evolving new forms of computing. [REVIEW]Joan Truckenbrod - 1993 - AI and Society 7 (4):345-357.
Optimization of overlay distributed computing systems for multiple classifier system—heuristic approach.Tomasz Kacprzak, Krzysztof Walkowiak & Michal Wozniak - 2012 - Logic Journal of the IGPL 20 (4):677-688.
A geometrical procedure for computing relaxation.Gabriele Pulcini - 2009 - Annals of Pure and Applied Logic 158 (1-2):80-89.
Semantics for mass terms with quantifiers.Peter Roeper - 1983 - Noûs 17 (2):251-265.
On what there are.Philippe de Rouilhan - 2002 - Proceedings of the Aristotelian Society 102 (2):183–200.
On What There Are.Philippe De Rouilhan - 2002 - Proceedings of the Aristotelian Society 102:183 - 200.
Computing as a Science: A Survey of Competing Viewpoints. [REVIEW]Matti Tedre - 2011 - Minds and Machines 21 (3):361-387.
Indenumerability and substitutional quantification.Philip Hugly & Charles Sayward - 1982 - Notre Dame Journal of Formal Logic 23 (4):358-366.

Analytics

Added to PP
2015-02-05

Downloads
45 (#335,929)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Are tableaux an improvement on truth-tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.
Modelling ethical rules of lying with answer set programming.Jean-Gabriel Ganascia - 2007 - Ethics and Information Technology 9 (1):39-47.

View all 19 citations / Add more citations

References found in this work

No references found.

Add more references