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

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

154A.BRESSAN

ACKNOWLEDGEMENTS

ThispaperisdedicatedtothememoryofProf.C.Truesdell.

REFERENCES

[1]J.BACON,Substanceandfirst-orderquantificationoverindividualconcepts.J.SymbolicLogic,45,1980,193-

203.( DBacon1980)

[2]C.BONOTTO-A.BRESSAN,Ongeneralizedsynonymynotionsandcorrespondingquasi-senses.AttiAcc.

LinceiMem.fis.,s.8,v.17,1984,163-209.( DBonotto&Bressan1984)

[3]A.BRESSAN,Metododiassiomatizzazioneinsensostrettodellameccanicaclassica.Applicazionediessoad

alcuniproblemidiassiomatizzazionenonancoracompletamenterisolti.Rend.Sem.Mat.Univ.Padova,32,1962,55-212.( DMet)

[4]A.BRESSAN,Ageneralinterpretedmodalcalculus.YaleUniversityPress,NewHaven-London1972.

ForewordbyN.D.Belnap,Jr.,327pp.( DGIMC)

[5]A.BRESSAN,Ontheusefulnessofmodallogicintheaxiomatizationofphysics.In:K.F.SHAFFNER-R.S.

COHEN(eds.),Proceedingsofthe1972biennialmeetingofthePhilosophyofScienceAssociation,Lansing,Michigan.ReidelPublishingCo.,DordrechtandBoston1974,285-303.( DBressan1974)

[6]A.BRESSAN,(a)Onphysicalpossibilityand(b)Supplement:amuchusednotionofphysicalpossibility

andGoÈdel'sundecidabilitytheorem.In:M.L.DALLACHIARASCABBIA(ed.),ItalianStudiesinphilosophyofScience.NorthHollandPublishingCo.,Amsterdam1981,197-210and211-214.( DBressana1981)

[7]A.BRESSAN,parisonofthemwithsimilarcalculi

ÈNNICH(ed.),Aspectsofendowedwithdifferentsemantics.Applicationtoprobabilitytheory.In:U.MO

philosophicallogic,somelogicalforaysintocentralnotionsoflinguisticsandphilosophy.ProceedingsofaworkshoponFormalSemanticsofNaturalLanguages(TuÈbingen1977),SyntheseLibrary,v.147,ReidelPublishingCo.,Dordrecht1981,21-66.( DBressanb1981)y.In:G.DORN-P.WEINGERTNER(eds.),Foundationsof[8]A.BRESSAN,OntheinterpretedsensecalculusSCaLogicandLinguistics:problemsandtheirsolutions.PlenumPublishingCorporation,NewYork-London1985,427-463.( DBressan1985)

[9]A.BRESSAN,Onthelogicofsenses.Ananomaloususeofbeliefsentences,itsrigorousandformaltreatment.

In:AttidegliIncontridiLogicaMatematica(Siena1985,Padova1985,Siena1986).Vol.3,UniversitaÁdiSiena,Siena1987,137-165.( DBressana1987)

Âtypeforclassicalorrelativistictheoriesof[10]A.BRESSAN,TowardsaxiomaticfoundationsoftheMach-Painleve

continuousmedia.AttiAcc.LinceiMem.fis.,s.8,v.19,1987,1-21.( DBressanb1987)

[11]A.BRESSAN,Newsemanticsfortheextensionalbuthyper-intensionalpartLaofthemodalsenselanguage

SLa.NotreDameJ.ofFormalLogic,32,1991,47-86.( DBressan1991)

[12]A.BRESSAN.Asemanticaltheoryconnectedwithspace-time.In:U.MAYER-H.J.SCHMIDT(eds.),

ProceedingsofthesymposiumSemanticalaspectsofspace-timetheories(Bielefeld,1991).Wissenschaftsverlag,Leipzig1994,53-65.( DBressan1994)

[13]A.BRESSAN,Againonrelativisticsemantics.Logicandlogicalphilosophy,3,1995,23-36.( DBressan

1995)

[14]A.BRESSAN,SomeanswerstoMaxUrchs'commentstoapaperofA.Bressan.Logicandlogicalphilosophy,4,

1996,123-131.( DBressan1996)

ÁlaMach-PainleveÂ(inoralItalian).[15]A.BRESSAN,Ontheinterdisciplinarycharacterofrigorousarticlesa

ConferencepresentedattheConvegnoinonoredei90annidelprof.GiuseppeGrioli,Padova,AccademiaPatavina,April3-4,2002.( DBressan2002)

[16]A.BRESSAN,EliminationoftheonlyprimitivedynamicnotionPrFinMetbymeansofkinematicnotions.

(NowitiswrittenonlyinItalian;anditislikelytobeimprovedandshortened).( DElimPrF)

[17]A.BRESSAN-A.MONTANARO,1982.( DBr&Mont)