Evert W. Beth. Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Synthese library. D. Reidel Publishing Company, Dordrecht, Holland, and Gordon and Breach, New York, 1962, XIV + 170 pp.

1965 ◽  
Vol 30 (2) ◽  
pp. 235-236 ◽  
Author(s):  
Leon Henkin
Keyword(s):  
New York ◽  
Formal Methods ◽  
Publishing Company ◽  
Symbolic Logic ◽  
Reidel Publishing Company

Simon Kochen and E. P. Specker. Logical structures arising in quantum theory. A reprint of XL 507(21). The logieo-algebraic approach to quantum mechanics, Volume I, Historicale evolution, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht and Boston1975, pp. 263–276. - Simon Kochen and E. P. Specker. The calculus of partial propositional functions. A reprint of XL 508(20). The logieo-algebraic approach to quantum mechanics, Volume I, Historical evolution, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht and Boston1975, pp. 277–292. - P.D. Finch. On the structure of quantum logic. The logieo-algebraic approach to quantum mechanics, Volume I, Historical evolution, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht and Boston1975, pp. 415–425. (Reprinted from The journal of symbolic logic, vol. 34 (1969), pp. 275–282.) - Stanley P. Gudder. Partial algebraic structures associated with orthomodular posets. Pacific journal of mathematics, vol. 41 (1972), pp. 717–730. - Janusz Czelakowski. Logics based on partial Boolean σ-algebras (1). Studia logica, vol. 33 (1974), pp. 371–396. - Gary M. Hardegree and Patricia J. Frazer. Charting the labyrinth of quantum logics: a progress report. Current issues in quantum logic, edited by Enrico G. Beltrametti and Bas C. van Fraassen, Ettore Majorana international science series, physical sciences, vol. 8, Plenum Press, New York and London1981, pp. 53–76. - Janusz Czelakowski. Partial referential matrices for quantum logics. Current issues in quantum logic, edited by Enrico G. Beltrametti and Bas C. van Fraassen, Ettore Majorana international science series, physical sciences, vol. 8, Plenum Press, New York and London1981, pp. 131–146.

1985 ◽  
Vol 50 (2) ◽  
pp. 558-566 ◽  
Author(s):  
R. I. G. Hughes
Keyword(s):  
New York ◽  
Quantum Mechanics ◽  
Philosophy Of Science ◽  
Quantum Logic ◽  
Algebraic Approach ◽  
Publishing Company ◽  
Reidel Publishing Company ◽  
Quantum Logics ◽  
Ettore Majorana ◽  
The University

J. I. Zucker. The adequacy problem for classical logic. Journal of philosophical logic, vol. 7 (1978), pp. 517–535. - J. I. Zucker and R. S. Tragesser. The adequacy problem for inferential logic. Journal of philosophical logic, pp. 501–516. - Dag Prawitz. Proofs and the meaning and completeness of the logical constants. Essays on mathematical and philosophical logic, Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskyla, Finland, June 29-July 6,1976, edited by Jaakko Hintikka, Ilkka Niiniluoto, and Esa Saarinen, Synthese library, vol. 122, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 25–40. - Dag Prawitz. Meaning and proofs: on the conflict between classical and intuitionistic logic. Theoria, vol. 43 (1977), pp. 2–40. - M. A. E. Dummett. The justification of deduction. Proceedings of the British Academy, vol. 59 (for 1973, pub. 1975), pp. 201–232. - Michael Dummett. The philosophical basis of intuitionistic logic. Logic Colloquium '73, Proceedings of the Logic Colloquium, Bristol, July 1973, edited by H. E. Rose and J.C. Shepherdson, Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 5–40. - Ian Hacking. Do-it-yourself semantics for classical sequent calculi, including ramified type theory. Logic, foundations of mathematics, and computahility theory, Part one of the proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada–1975, edited by Robert E. Butts and Jaakko Hintikka, The University of Western Ontario series in Philosophy of science, vol. 9, D. Reidel Publishing Company, Dordrecht and Boston1977, pp. 371–390. - Ian Hacking. What is logic?The journal of philosophy, vol. 76 (1979), pp. 285–319. - Göran Sundholm. Hacking's logic. The journal of philosophy, vol. 78 (1981), pp. 160–168. - Christopher Peacocke. Hacking on logic: two comments. The journal of philosophy, vol. 78 pp. 168–175.

1982 ◽  
Vol 47 (3) ◽  
pp. 689-694 ◽  
Author(s):  
Richard E. Grandy
Keyword(s):  
New York ◽  
Philosophy Of Science ◽  
Intuitionistic Logic ◽  
Publishing Company ◽  
Foundations Of Mathematics ◽  
Reidel Publishing Company ◽  
Philosophical Logic ◽  
Ian Hacking ◽  
Michael Dummett ◽  
Do It Yourself

Marshall Swain. Editor's introduction. Induction, acceptance, and rational belief, edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, pp. 1–5. - Frederic Schick. Three logics of belief. Induction, acceptance, and rational belief, edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, pp. 6–26. - Marshall Swain. The consistency of rational belief. Induction, acceptance, and rational belief, edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, pp. 27–54. - Henry E. KyburgJr., Conjunctivitis. Induction, acceptance, and rational belief, edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, pp. 55–82. - Gilbert H. Harman. Induction. A discussion of the relevance of the theory of knowledge to the theory of induction (with a digression to the effect that neither deductive logic nor the probability calculus has anything to do with inference). Induction, acceptance, and rational belief, edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, pp. 83–99. - Keith Lehrer. Justification, explanation, and induction. Induction, acceptance, and rational belief, edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, pp. 100–133. - Isaac Levi. Probability and evidence. Induction, acceptance, and rational belief, edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, pp. 134–156. - Richard C. Jeffrey. Dracula meets Wolfman: acceptance vs. partial belief. Induction, acceptance, and rational belief, edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, pp. 157–185. - Ralph L. Slaght. Induction, acceptance, and rational belief: a selected bibliography. Induction, acceptance, and rational belief, edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, pp. 186–227.

1974 ◽  
Vol 39 (1) ◽  
pp. 166-168
Author(s):  
Ian Hacking
Keyword(s):  
New York ◽  
Rational Belief ◽  
Publishing Company ◽  
Theory Of Knowledge ◽  
Reidel Publishing Company ◽  
Probability Calculus ◽  
Partial Belief ◽  
Deductive Logic

S. Feferman and W. Sieg Inductive definitions and subsystems of analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–77. - Solomon Feferman and Wilfried Sieg. Proof theoretic equivalences between classical and constructive theories for analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 78–142. - Solomon Feferman. Iterated inductive fixed-point theories: application to Hancock's conjecture. Patras logic symposion, Proceedings of the logic symposion held at Patras, Greece, August 18–22, 1980, edited by George Metakides, Studies in logic and the foundations of mathematics, vol. 109, NorthHolland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 171–196. - Solomon Feferman. Monotone inductive definitions. The L. E. J. Brouwer centenary symposium, Proceedings of the conference held in Noordwijkerhout, 8–13 June, 1981, edited by A. S. Troelstra and D. van Dalen, Studies in logic and the foundations of mathematics, vol. 110, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 77–89. - S. Feferman and G. Jäger. Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis. The journal of symbolic logic, vol. 48 (1983), pp. 63–70.

1994 ◽  
Vol 59 (2) ◽  
pp. 668-670
Author(s):  
Helmut Pfeiffer
Keyword(s):  
New York ◽  
Fixed Point ◽  
Publishing Company ◽  
Foundations Of Mathematics ◽  
Symbolic Logic ◽  
Theoretical Studies ◽  
North Holland Publishing Company ◽  
Inductive Definitions ◽  
North Holland Publishing ◽  
Lecture Notes
Sign in / Sign up

Export Citation Format

Share Document