Nicholas Rescher and Alasdair Urquhart. Temporal logic. Library of exact philosophy, vol. 3. Springer-Verlag, Vienna and New York1971, XVIII + 273 pp. - Nicholas Rescher and Alasdair Urquhart. Bibliography of temporal logic. Therein, pp. 259–267. - Nicholas Rescher and James Garson. Topological logic. The journal of symbolic logic, vol. 33 no. 4 (for 1968, pub. 1969), pp. 537–548. A slightly revised version reprinted in Topics in philosophical logic, by Nicholas Rescher, D. Reidel Publishing Company, Dordrecht, Holland, 1968, and Humanities Press, New York, 1969, pp. 229–244. - Nicholas Rescher and John Robison. Temporally conditioned descriptions. Ratio (Oxford), vol. 8 (1966), pp. 46–54. - Nicholas Rescher and John Robison. Zeitlich bedingte Kennzeichnungen. German translation of the preceding. Ratio (Frankfurt a.M.), vol. 8 (1966), pp. 40–47.

1975 ◽  
Vol 40 (2) ◽  
pp. 252-253
Author(s):  
Robert A. Bull
Keyword(s):  
New York ◽  
Temporal Logic ◽  
Publishing Company ◽  
Symbolic Logic ◽  
Reidel Publishing Company ◽  
Philosophical Logic ◽  
German Translation ◽  
Nicholas Rescher

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

Robert Bull and Krister Segerberg. Basic modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 1–88. - John P. Burgess. Basic tense logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 89–133. - Richmond H. Thomason. Combinations of tense and modality. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 135–165. - Johan van Benthem. Correspondence theory. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 167–247. - James W. Garson. Quantification in modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 249–307. - Nino B. Cocchiarella. Philosophical perspectives on quantification in tense and modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 309–353.

1989 ◽  
Vol 54 (4) ◽  
pp. 1472-1477 ◽  
Author(s):  
Steven T. Kuhn
Keyword(s):  
Modal Logic ◽  
Classical Logic ◽  
Correspondence Theory ◽  
Tense Logic ◽  
Publishing Company ◽  
Reidel Publishing Company ◽  
Philosophical Logic

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
Sign in / Sign up

Export Citation Format

Share Document