- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Bases for first-order theories and subtheories
Journal of Symbolic Logic 25 (2):97-142 (1960)
Abstract
This article has no associated abstract. (fix it)Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
William Craig. Bases for first-order theories and subtheories. The journal of symbolic logic, vol. 25 no. 2 , pp. 97–142.M. R. Krom - 1972 - Journal of Symbolic Logic 37 (3):616.
Review: William Craig, Logic in Algebraic Form. Three Languages and Theories. [REVIEW]Stephen D. Comer - 1977 - Journal of Symbolic Logic 42 (1):108-109.
Review: W. Craig, Analysis of First-Order Implications. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
Review: William Craig, Replacement of Auxiliary Expressions. [REVIEW]Nelson Goodman - 1957 - Journal of Symbolic Logic 22 (3):317-318.
Craig William and Quine W. V.. On reduction to a symmetric relation.Julia Robinson - 1953 - Journal of Symbolic Logic 18 (3):269-269.
Review: William Craig, W. V. Quine, On Reduction to a Symmetric Relation. [REVIEW]Julia Robinson - 1953 - Journal of Symbolic Logic 18 (3):269-269.
Craig William. Linear reasoning. A new form of the Herbrand-Gentzen theorem. [REVIEW]Burton Dreben - 1959 - Journal of Symbolic Logic 24 (3):243-244.
Craig W.. Analysis of first-order implications. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 175–180. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
Craig William. Replacement of auxiliary expressions. The philosophical review, vol. 65 , pp. 38–55.Nelson Goodman - 1957 - Journal of Symbolic Logic 22 (3):317-318.
Review: Kit Fine, First-Order Modal Theories I--Sets; Kit Fine, First-Order Modal Theories; Kit Fine, First-Order Modal Theories III--Facts. [REVIEW]F. W. Kroon - 1988 - Journal of Symbolic Logic 53 (4):1262-1269.
Analytics
Added to PP
2009-01-28
Downloads
32 (#486,933)
6 months
17 (#204,037)
2009-01-28
Downloads
32 (#486,933)
6 months
17 (#204,037)
Historical graph of downloads
Citations of this work
Inductive systematization: Definition and a critical survey.Ilkka Niiniluoto - 1972 - Synthese 25 (1-2):25 - 81.
Distributive normal forms and deductive interpolation.Jaakko Hintikka - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (13‐17):185-191.
Distributive Normal Forms and Deductive Interpolation.Jaakko Hintikka - 1964 - Mathematical Logic Quarterly 10 (13-17):185-191.
An Empiricist Criterion of Meaning.Yann Benétreau-Dupin - 2011 - South African Journal of Philosophy 30 (2):95-108.
References found in this work
Mathematical Logic.Morton G. White & Willard Van Orman Quine - 1942 - Philosophical Review 51 (1):74.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-xdvnm uwo