Skip to main content
SpringerLink
Log in

A non-classical logic for physics

  • Published:
Studia Logica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. E. Bishop,Foundations of constructive analysis, McGraw-Hill, New York, 1967.

    Google Scholar 

  2. R. Giles,Foundations for quantum mechanics,Journal of Mathematical Physics 11 (1970), pp. 2139–2160.

    Article  Google Scholar 

  3. R. Giles,A logic for subjective belief, to appear in:Proceedings of the International Workshop on Foundations of Probability and Statistics and Statistical Theories in Science, London, Ontario, 1973.

  4. R. Giles,A nonclassical logic for physics, in:Selected papers on Łukasiewicz sentential calculi, ed. by R. Wójcicki, Wrocŀaw-Warszawa, Ossolineum, 1975.

    Google Scholar 

  5. R. Giles,Physics and logic. Mimeographed lecture notes, 1973.

  6. J. Hintikka,Language-games for quantifiers, in:Studies in Logical Theory,American Philosophical Quaterly Monograph Series, No. 2, Blackwell, Oxford, 1968.

    Google Scholar 

  7. K. Lorenz,Arithmetik und Logik als Spiele. Doctorial dissertation, Kiel, 1961.

  8. K. Lorenz,Dialogspiele als semantische Grundlage von Logikkalkulen I, II,Archiv für mathematische Logik und Grundlagenforschung 11 (1968), pp. 32–55, 73–100.

    Article  Google Scholar 

  9. P. Lorenzen,Metamathematik, Bibliographisches Institut, Mannheim, 1962.

    Google Scholar 

  10. J. Łukasiewicz andA. Tarski,Investigations in the sentential calculus. Translated in:A. Tarski,Logic, Semantics, Metamathermatics: Oxford University Press, Oxford, 1956.

    Google Scholar 

  11. N. Rescher,Many-valued logic, McGraw-Hill, New York, 1969.

    Google Scholar 

  12. W. Stegmuller,Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz,Notre Dame Journal of Formal Logic 5 (1964), pp. 81–112.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Queen's University, Kingston, Canada

    Robin Giles

Authors
  1. Robin Giles
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

The following is a shortened version of a paper that will appear in full elsewhere [4]. The work was supported by a grant from the National Research Council of Canada.

Allatum est die 17 Junii 1974

Rights and permissions

Reprints and permissions

About this article

Cite this article

Giles, R. A non-classical logic for physics. Stud Logica 33, 397–415 (1974). https://doi.org/10.1007/BF02123379

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02123379

Keywords

Search

Navigation