(i) La classe dei fondamenti assiomatici menzionati nel titolo è detta brevemente Ax Found; ed è trattata nell'introduzione.
(ii) Questa consiste nelle Parts A,...,G seguite dalle References.
(iii) In [17] la logica modale di Bressan è trattata in modo consciamente non rigoroso. Invece qui essa, al pari di Ax Found, ha una trattazione rigorosa. Una tale trattazione era stata apprezzata dal fisico matematico Truesdell in [62].
(iv) Nel 1953 Truesdell ebbe una notevole intuizione, la cui correttezza risultò solo nel 1962, dalla monografia [3] di Bressan.
(v) Come Socio straniero dei Lincei, Truesdell sostenne degli aspetti logici, assenti nella sua scuola. Inoltre diede a M. Pitteri una "confidential copy" involgente tale fatto.
(vi) La presente trattazione rigorosa della logica modale di Bressan appare perciò fortemente sostenuta da Truesdell. Era quindi naturale dedicare alla sua memoria il lavoro inviato.
(vii) Nell'introduzione si dice di aver ottenuto certi risultati (la cui dimostrazione non appare ivi) concernenti la Meccanica razionale o la logica modale di Bressan trattata rigorosamente.
Referenze Bibliografiche
[2]
C. BONOTTO -
A. BRESSAN,
On generalized synonymy notions and corresponding quasi-senses.
Atti Acc. Lincei Mem. fis., s. 8, v.
17,
1984, 163-209. (={D} Bonotto & Bressan 1984) |
MR 822824 |
Zbl 0677.03021[3]
A. BRESSAN,
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. (={D} Met) |
fulltext EuDML |
fulltext mini-dml |
Zbl 0114.14902[4]
A. BRESSAN,
A general interpreted modal calculus.
Yale University Press, New Haven-London
1972. Foreword by N. D. Belnap, Jr., 327 pp. (={D} GIMC) |
MR 401432 |
Zbl 0255.02015[5]
A. BRESSAN,
On the usefulness of modal logic in the axiomatization of physics. In:
K.F. SHAFFNER -
R.S. COHEN (eds.),
Proceedings of the 1972 biennial meeting of the Philosophy of Science Association, Lansing, Michigan.
Reidel Publishing Co., Dordrecht and Boston
1974, 285-303. (={D} Bressan
1974) |
Zbl 0322.02014[6]
A. BRESSAN,
(a) On physical possibility and (b) Supplement: a much used notion of physical possibility and Gödel's undecidability theorem. In:
M.L. DALLA CHIARA SCABBIA (ed.),
Italian Studies in philosophy of Science.
North Holland Publishing Co., Amsterdam
1981, 197-210 and 211-214. (={D} Bressan_a
1981) |
MR 604946[7]
A. BRESSAN,
Extensions of the modal calculi $MC^{v}$ and $MC^{\infty}$. Comparison of them with similar calculi endowed with different semantics. Application to probability theory. In:
U. MÖNNICH (ed.),
Aspects of philosophical logic, some logical forays into central notions of linguistics and philosophy. Proceedings of a workshop on Formal Semantics of Natural Languages (Tübingen 1977),
Synthese Library, v.
147,
Reidel Publishing Co., Dordrecht
1981, 21-66. (={D} Bressan_a 1981) |
MR 646464 |
Zbl 0476.03028[8]
A. BRESSAN,
On the interpreted sense calculus $SC^{v}_{a}$. In:
G. DORN -
P. WEINGERTNER (eds.),
Foundations of Logic and Linguistics: problems and their solutions.
Plenum Publishing Corporation, New York-London
1985, 427-463. (={D} Bressan
1985) |
MR 797963 |
Zbl 0608.03006[9]
A. BRESSAN,
On the logic of senses. An anomalous use of belief sentences, its rigorous and formal treatment. In:
Atti degli Incontri di Logica Matematica (Siena 1985, Padova 1985, Siena 1986). Vol.
3, Università di Siena, Siena
1987, 137-165. (={D} Bressan_a 1987) |
MR 904903 |
Zbl 0667.03015[10]
A. BRESSAN,
Towards axiomatic foundations of the Mach-Painlevé type for classical or relativistic theories of continuous media.
Atti Acc. Lincei Mem. fis., s. 8, v.
19,
1987, 1-21. (={D} Bressan_a 1987) |
MR 1006945 |
Zbl 0774.73003[12] A. BRESSAN. A semantical theory connected with space-time. In: U. MAYER - H.J. SCHMIDT (eds.), Proceedings of the symposium Semantical aspects of space-time theories (Bielefeld, 1991). Wissenschaftsverlag, Leipzig 1994, 53-65. (={D} Bressan 1994)
[13]
A. BRESSAN,
Again on relativistic semantics.
Logic and logical philosophy,
3,
1995, 23-36. (={D} Bressan 1995) |
MR 1405418 |
Zbl 0970.03507[14]
A. BRESSAN,
Some answers to Max Urchs' comments to a paper of A. Bressan.
Logic and logical philosophy,
4,
1996, 123-131. (={D} Bressan 1996) |
MR 1644016 |
Zbl 0981.03508[15] A. BRESSAN, On the interdisciplinary character of rigorous articles à la Mach-Painlevé (in oral Italian). Conference presented at the Convegno in onore dei 90 anni del prof. Giuseppe Grioli, Padova, Accademia Patavina, April 3-4, 2002. (={D} Bressan 2002)
[16] A. BRESSAN, Elimination of the only primitive dynamic notion PrF in Met by means of kinematic notions. (Now it is written only in Italian; and it is likely to be improved and shortened). (={D} ElimPrF)
[17] A. BRESSAN - A. MONTANARO, 1982. (={D} Br&Mont)
[18]
A.W. BURKS,
The logic of causal propositions.
Mind,
60,
1951, 363-383. (={D} Burks 1951) |
MR 45675 |
Zbl 0044.25104[19]
R. CARNAP,
Meaning and necessity.
The University of Chicago Press, Chicago,
1956. 1st version
1947. (={D} Carnap 1956) |
MR 19563 |
Zbl 0034.00106[20]
R. CARNAP,
Introduction to symbolic logic.
Dover Publications, Inc., New York
1958. German edition
1954. Chicago,
1956. 1st version
1947. (={D} Carnap 1954.) |
Zbl 0083.00104[21]
J. GARSON,
Review of A. Bressan's "Metodo di assiomatizzazione in senso stretto della meccanica classica".
J. of Symbolic Logic,
38,
1973, 144-145. (={D} Garson 1973) |
Zbl 0114.14902[22]
G. HAMEL,
Über die Grundlagen der Mechanik.
Mathematische Annalen,
66,
1908, 340-397. (={D} Hamel 1908) |
fulltext EuDML |
Jbk 39.0739.01[23] G. HAMEL, Die Axiome der Mechanik. Handbuch der Physick, v. 5, Springer-Verlag, Berlin 1927, 1-42. (={D} Hamel 1927)
[24]
J.C.C. MCKINSEY -
A.C. SUGAR -
P. SUPPES,
Axiomatic foundations of classical particle mechanics.
J. of Rat. Mech. Anal.,
2,
1953, 253-272. (={D} MK&S&S 1953) |
MR 55071 |
Zbl 0050.18201[25]
A. MONTANARO -
A. BRESSAN,
Contributions to Foundations of Probability calculus on the basis of the Modal Logical Calculus $MC^{v}$ or $MC^{v*}$. Part 1: Basic theorems of a recent modal version of the Probability Calculus, based on $MC^{v}$ or $MC^{v*}$.
Rend. Sem. Mat. Univ. Padova,
64,
1981, 109-126. |
fulltext EuDML |
fulltext mini-dml |
MR 636630 |
Zbl 0485.03006[26]
A. MONTANARO -
A. BRESSAN,
Contributions to Foundations of Probability calculus on the basis of the Modal Logical Calculus $MC^{v}$ or $MC^{v*}$. Part 2: On a known Existence Rule for the Probability Calculus.
Rend. Sem. Mat. Univ. Padova,
65,
1981, 263-270. |
fulltext EuDML |
fulltext mini-dml |
MR 653299 |
Zbl 0501.03010[27]
A. MONTANARO -
A. BRESSAN,
Contributions to Foundations of Probability calculus on the basis of the Modal Logical Calculus $MC^{v}$ or $MC^{v*}$. Part 3: An analysis of the notions of random variables and Probability Spaces, based on Modal Logic.
Rend. Sem. Mat. Univ. Padova,
70,
1983, 1-11. |
fulltext EuDML |
fulltext mini-dml |
MR 742105 |
Zbl 0533.03006[29]
A. MONTANARO,
A completion of A. Bressan's work on axiomatic foundations of the Mach Painlevé type for various classical theories of continuous media. Part 1. Completion of Bressan's work based on the notions of gravitational equivalence of affine inertial frames.
Atti Acc. Lincei Rend. fis., s. 8, v.
81,
1987, 35-46. |
MR 1000022 |
Zbl 0774.73004[30]
A. MONTANARO,
A completion of A. Bressan's work on axiomatic foundations of the Mach Painlevé type for various classical theories of continuous media. Part 2. Alternative completion of Bressan's work, fit for extension to special relativity.
Atti Acc. Lincei Rend. fis., s. 8, v.
81,
1987, 47-54. |
MR 1000023 |
Zbl 0774.73005[31]
A. BRESSAN -
A. MONTANARO,
On the uniqueness of response stress-functionals for purely mechanical continuous media, from the Mach-Painlevé point of view.
Mem. Mat. Acc. Lincei, s. 9, v.
1,
1990, 59-94. |
MR 1082620 |
Zbl 0725.73004[32]
A. MONTANARO,
On the response stress-function of an elastic body, from the Mach-Painlevé point of view.
Atti Ist. Veneto Scienze Lettere Arti,
147,
1989, 1-11. |
MR 1192001 |
Zbl 0773.73020[34]
A. MONTANARO,
On the response functions of a thermo-elastic body, from the Mach-Painlevé point of view.
Mem. Mat. Acc. Lincei, s. 9, v.
1,
1990, 123-146. |
MR 1088046 |
Zbl 0725.73005[36]
A. MONTANARO,
On the indeterminateness of the constitutive equations for certain dissipative materials.
Atti Ist. Veneto Scienze Lettere Arti,
148,
1989-1990, 109-126. |
MR 1192005 |
Zbl 0773.73003[39]
A. MONTANARO -
D. PIGOZZI,
On a large class of symmetric systems of linear PDEs for tensor functions useful in mathematical physics.
Annali di Matematica Pura e Applicata,
164,
1993, 259-273. |
fulltext (doi) |
MR 1243957 |
Zbl 0796.35020[40]
A. MONTANARO,
Uniqueness theorems for the entropy of any differential material of complexity one.
Meccanica,
27,
1994, 75-83. |
Zbl 0793.73011[43]
A. MONTANARO -
D. PIGOZZI,
On the response function for the heat flux in bodies of the differential type.
Mem. Mat. Acc. Lincei, s. 9, v.
2,
1994, 85-107. |
MR 1292090 |
Zbl 0805.73009[44]
A. MONTANARO -
D. PIGOZZI,
On the physical indetermination of the response functions for general bodies of the differential type.
Rendiconti di Matematica e delle sue applicazioni, s. 7, v.
13,
1993, 701-731. |
MR 1283995 |
Zbl 0815.73005[45]
A. MONTANARO,
Constitutive equations for quasi-processes of local pure-jump in simple materials with fading memory. Part 1 - Constitutive functions of local pure-jump. Part 2 - A more general theory in which only the dynamic part of entropy exists.
Mem. Mat. Acc. Lincei, s. 9, v.
1, f. 7,
1993, 197-236. |
MR 1233178 |
Zbl 0791.73005[47] A. MONTANARO, On thermoelasticity in the absence of heat sources and a natural restriction for heat flux in simple media. Stability & Applied Analysis of Continuous Media, SAACM, vol. 2, n. 4, 1992.
[49]
A. MONTANARO,
An analysis of the Propagation Condition for Small Displacement Waves in Prestressed Bodies.
Int. J. of Non-Linear Mechanics,
33,
1998, 327-355. |
fulltext (doi) |
MR 1469859 |
Zbl 0896.73013[50]
A. MONTANARO,
On Small-displacement Waves in a Prestressed Body with Isotropic Incremental Elasticity Tensor.
Meccanica,
32,
1997, 505-514. |
fulltext (doi) |
MR 1603979 |
Zbl 0899.73102[51]
A. MONTANARO -
D. PIGOZZI,
A note about differentiability of maps defined on convex subsets of Banach spaces that may be nowhere dense.
Journal of Mathematical Analysis and Applications,
213,
1997, 370-386. |
fulltext (doi) |
MR 1469382 |
Zbl 0904.46031[52]
A. MONTANARO,
Wave propagation along axes of symmetry in linearly elastic media with initial stress.
Journal of Elasticity,
46,
1997, 217-221. |
fulltext (doi) |
MR 1468636 |
Zbl 0884.73012[53]
A. MONTANARO -
D. PIGOZZI,
General and physically privileged solutions to certain symmetric systems of linear P.D.E.s with tensor functionals as unknowns.
Rend. Mat. Acc. Lincei, s. 9, v.
11,
2000, 245-278. |
fulltext bdim |
MR 1837582 |
Zbl 1020.74003[54] A. MONTANARO, On singular surfaces in isotropic linear thermoelasticity with initial stress. J. Acoust. Soc. Am., 106, 3, Pt. 1, September 1999, 1586-1588.
[55]
A. MONTANARO,
Equivalence theorems on the propagation of small amplitude waves in prestressed linearly elastic materials with internal constraints.
Journal of Elasticity,
57,
1999, 25-53. |
fulltext (doi) |
MR 1785153 |
Zbl 0977.74036[57] A. MONTANARO, Details on singular surfaces in isotropic linear thermoelasticity with initial stress. Atti Ist. Veneto Scienze Lettere Arti, 157, 2, 1999, 411-422.
[59]
P. PAINLEVÉ,
Les axiomes de la mécanique.
Gauthier-Villars, Paris
1922. (={D} Painlevé 1922) |
Zbl 0065.39301[61]
M. PITTERI,
On certain weak phase transformations in multilattices. Preprint DMSA,
2003, Padova, n. 88, 2/ 12/2002, available at www.dmsa.unipd.it/tmr/PreprintDMMMSA.pdf. Printed also in Truesdell's volume. (={D} ExtendPitt) |
fulltext (doi) |
MR 2064227 |
Zbl 1060.74050[62]
C.A. TRUESDELL,
An idiot's fugitive essays on science: methods, criticism, training, circumstances.
Springer-Verlag, New York
1984. (={D} Truesdell 1984) |
fulltext (doi) |
MR 769106 |
Zbl 0599.01013[66] A. ZANARDO, On a recent unpublished conjecture by Aldo Bressan. Atti Ist. Veneto Scienze Lettere Arti, 162, 2004, 517-523. (={D} Zanardo 2004)