Rend. Mat. Acc. Lincei s. 9, v. 16143-157 2005) Matematica.(13)

ABSTRACT. D ?i) The class of the axiomatic foundations mentioned in the title is called Ax Found; and its structure is treated in the introduction. ?ii) This consists of Parts A to G followed by the References. ?iii) In [17] Bressan's modal logic is treate

ONAXIOMATICFOUNDATIONSCOMMONTOCLASSICALPHYSICS...155

[18]A.W.BURKS,Thelogicofcausalpropositions.Mind,60,1951,363-383.( DBurks1951)

[19]R.CARNAP,Meaningandnecessity.TheUniversityofChicagoPress,Chicago,1956.1stversion1947.( D

Carnap1956)

[20]R.CARNAP,Introductiontosymboliclogic.DoverPublications,Inc.,NewYork1958.Germanedition1954.

Chicago,1956.1stversion1947.( DCarnap1954.)

[21]J.GARSON,ReviewofA.Bressan's`Metododiassiomatizzazioneinsensostrettodellameccanicaclassica'.J.of

SymbolicLogic,38,1973,144-145.( DGarson1973)ÈberdieGrundlagenderMechanik.MathematischeAnnalen,66,1908,340-397.( DHamel[22]G.HAMEL,U

1908)

[23]G.HAMEL,DieAxiomederMechanik.HandbuchderPhysick,v.5,Springer-Verlag,Berlin1927,1-42.

( DHamel1927)

[24]J.C.C.MCKINSEY-A.C.SUGAR-P.SUPPES,Axiomaticfoundationsofclassicalparticlemechanics.J.ofRat.

Mech.Anal.,2,1953,253-272.( DMK&S&S1953)

[25]A.MONTANARO-A.BRESSAN,ContributionstoFoundationsofProbabilitycalculusonthebasisoftheModal

LogicalCalculusMCyorMCyÃ.Part1:BasictheoremsofarecentmodalversionoftheProbabilityCalculus,basedonMCyorMCyÃ.Rend.Sem.Mat.Univ.Padova,64,1981,109-126.

[26]A.MONTANARO-A.BRESSAN,ContributionstoFoundationsofProbabilitycalculusonthebasisoftheModal

LogicalCalculusMCyorMCyÃ.Part2:OnaknownExistenceRulefortheProbabilityCalculus.Rend.Sem.Mat.Univ.Padova,65,1981,263-270.

[27]A.MONTANARO-A.BRESSAN,ContributionstoFoundationsofProbabilitycalculusonthebasisoftheModal

LogicalCalculusMCyorMCyÃ.Part3:AnanalysisofthenotionsofrandomvariablesandProbabilitySpaces,basedonModalLogic.Rend.Sem.Mat.Univ.Padova,70,1983,1-11.

[28]A.BRESSAN-A.MONTANARO,AxiomaticFoundationsoftheKinematicsCommontoClassicalPhysicsand

SpecialRelativity.Rend.Sem.Mat.Univ.Padova,68,1982,163-182.( DBr&Mont).

[29]A.MONTANARO,AcompletionofA.Bressan'sworkonaxiomaticfoundationsoftheMachPainleveÂtype

pletionofBressan'sworkbasedonthenotionsofgravitationalequivalenceofaffineinertialframes.AttiAcc.LinceiRend.fis.,s.8,v.81,1987,35-46.

[30]A.MONTANARO,AcompletionofA.Bressan'sworkonaxiomaticfoundationsoftheMachPainleveÂtypefor

variousclassicaltheoriesofcontinuousmedia.Part2.AlternativecompletionofBressan'swork,fitforextensiontospecialrelativity.AttiAcc.LinceiRend.fis.,s.8,v.81,1987,47-54.

[31]A.BRESSAN-A.MONTANARO,Ontheuniquenessofresponsestress-functionalsforpurelymechanical

continuousmedia,fromtheMach-PainleveÂpointofview.Mem.Mat.Acc.Lincei,s.9,v.1,1990,59-94.

[32]A.MONTANARO,Ontheresponsestress-functionofanelasticbody,fromtheMach-PainleveÂpointofview.

AttiIst.VenetoScienzeLettereArti,147,1989,1-11.

[33]A.MONTANARO,Onheatfluxinsimplemedia.JournalofElasticity,30,n.1,1993,81-101.

[34]A.MONTANARO,Ontheresponsefunctionsofathermo-elasticbody,fromtheMach-PainleveÂpointofview.

Mem.Mat.Acc.Lincei,s.9,v.1,1990,123-146.

[35]A.MONTANARO,OntheClausius-Planckinequalitywithintheoriesfordifferentialmaterials.Meccanica,25,

1990,192-194.

[36]A.MONTANARO,Ontheindeterminatenessoftheconstitutiveequationsforcertaindissipativematerials.Atti

Ist.VenetoScienzeLettereArti,148,1989-1990,109-126.

[37]A.MONTANARO,Definitionsofstandardstressandstandardheatflux,insimplebodies,treatedaccordingto

MachandPainleveÂ.Rend.Sem.Mat.Univ.Padova,91,1994,229-249.

[38]A.MONTANARO,Ontensorfunctionswhosegradientshavesomeskew-symmetries.Rend.Mat.Acc.Lincei,

s.9,v.2,1991,259-268.

[39]A.MONTANARO-D.PIGOZZI,OnalargeclassofsymmetricsystemsoflinearPDEsfortensorfunctionsuseful

inmathematicalphysics.AnnalidiMatematicaPuraeApplicata,164,1993,259-273.

[40]A.MONTANARO,Uniquenesstheoremsfortheentropyofanydifferentialmaterialofcomplexityone.

Meccanica,27,1994,75-83.