The elimination of descriptions from A. Bressan’s modal language on which the logical calculus is based
Rendiconti del Seminario Matematico della Università di Padova (1976)
- Volume: 56, page 269-292
- ISSN: 0041-8994
Access Full Article
topHow to cite
topOmodeo, Eugenio Giovanni. "The elimination of descriptions from A. Bressan’s modal language $ML^\nu $ on which the logical calculus $MC^\nu $ is based." Rendiconti del Seminario Matematico della Università di Padova 56 (1976): 269-292. <http://eudml.org/doc/107620>.
@article{Omodeo1976,
author = {Omodeo, Eugenio Giovanni},
journal = {Rendiconti del Seminario Matematico della Università di Padova},
language = {eng},
pages = {269-292},
publisher = {Seminario Matematico of the University of Padua},
title = {The elimination of descriptions from A. Bressan’s modal language $ML^\nu $ on which the logical calculus $MC^\nu $ is based},
url = {http://eudml.org/doc/107620},
volume = {56},
year = {1976},
}
TY - JOUR
AU - Omodeo, Eugenio Giovanni
TI - The elimination of descriptions from A. Bressan’s modal language $ML^\nu $ on which the logical calculus $MC^\nu $ is based
JO - Rendiconti del Seminario Matematico della Università di Padova
PY - 1976
PB - Seminario Matematico of the University of Padua
VL - 56
SP - 269
EP - 292
LA - eng
UR - http://eudml.org/doc/107620
ER -
References
top- [1] A. Bressan, A general interpreted modal calculus, New Haven and London, Yale University Press, 1972. Zbl0255.02015MR401432
- [2] R. Carnap, Introduction to symbolic logic and its applications, Dover Publications, Inc.New York, 1958. Zbl0083.00104MR103814
- [3] R. Carnap, Meaning and necessity, The University of Chicago Press, Second edition, 1970. Zbl0034.00106MR184839
- [4] G.E. Hughes - M.J. Cresswell, Introduzione alla logica modale, Il Saggiatore, Milano, 1973.
- [5] E. Mendelson, Introduction to Mathematical Logic, VanNostrandNew York and London, 1972. Zbl0192.01901MR164867
- [6] J.B. Rosser, Logic for Mathematicians, New York, McGraw-Hill Inc., 1953. Zbl0068.00707MR54531
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.