Skip to main content
SpringerLink
Log in

On the semantics for the language MLν based on a type system, and those for the type-free language ML∞

  • Published:
Journal of Philosophical Logic 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

Bibliography

  1. Bressan, A., ‘Metodo di assiomatizzazione in senso stretto della Meccanica classica. Applicazione di esso ad alcuni problemi di assiomatizzazione non ancora completamente risolti’, Rend. Sem. Mat. Univ. Padova 32 (1962) 55–212.

    Google Scholar 

  2. Bressan, A., ‘Intensional Descriptions and Relative Completeness in the General Interpreted Modal Calculus MCν’, printed in Logic, Language, and Probability (edited by R. J. Bogdan and I. Niiniluoto), D. Reidel Publishing Co., Dordrecht-Boston, 1971, pp. 29–40.

    Google Scholar 

  3. Bressan, A., A General Interpreted Modal Calculus, Yale University Press, New Haven and London, 1972, 327 pp.

    Google Scholar 

  4. Bressan, A., ‘On the Usefulness of Modal Logic in Axiomatization of Physics’, Conference at PSA meeting in Lansing (September 1972), to appear in PSA 1972, D. Reidel Publishing Co., Dordrecht-Boston.

    Google Scholar 

  5. Bressan, A., ‘The Interpreted Type-Free Modal Calculus MC∞. Part 1. The Type-free Extensional Calculus EC∞ Involving Individuals, and the Interpreted Language ML∞ on which MC∞ is Based’, Rend. Sem. Mat. Univ. Padova 49 (1973) 157–194.

    Google Scholar 

  6. Bressan, A., ‘The Interpreted type-free modal calculus MC∞. Part 2. Foundations of MC∞, Rend. Sem. Mat. Univ. Padova 50 (1973).

  7. Bressan, A., ‘The Interpreted Type-free Modal Calculus MC∞. Part 3. Ordinals and Cardinals in MC∞’, Rend. Sem. Mat. Univ. Padova.

  8. Carnap, R., Meaning and Necessity, Chicago, Univ. of Chicago Press, 1956, 258 pp.

    Google Scholar 

  9. Carnap, R., ‘Replies and Systematic Expositions’, in The Philosophy of R. Carnap (edited by Paul A. Schilpp), pp. 859–999, New York Tudor Publishing Co., Library of Living Philosophers, 1963.

    Google Scholar 

  10. Monk, J. D., Introduction to Set Theory, McGraw Hill Book Co., 1969, 197 pp.

  11. Painlevé, P., Les axiomes de la mechanique. Paris, Gauthier-Villars, 1922.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Padua, Padua, Italy

    Aldo Bressan

Authors
  1. Aldo Bressan
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This paper was worked out within the sphere of activity of the groups for mathematical research in the academic year 1972–73.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bressan, A. On the semantics for the language MLν based on a type system, and those for the type-free language ML∞ . J Philos Logic 3, 171–194 (1974). https://doi.org/10.1007/BF00247221

Download citation

  • Issue Date:

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

Keywords

Search

Navigation