资源描述:
《language proof and logic - barwise,etchemendy》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、LANGUAGE,PROOFANDLOGICJONBARWISE&JOHNETCHEMENDYIncollaborationwithGerardAllweinDaveBarker-PlummerAlbertLiu77SEVENBRIDGESPRESSNEWYORK•LONDONCopyright©1999CSLIPublicationsCenterfortheStudyofLanguageandInformationLelandStanfordJuniorUniversity030201009954321Lib
2、raryofCongressCataloging-in-PublicationDataBarwise,Jon.Language,proofandlogic/JonBarwiseandJohnEtchemendy;incollaborationwithGerardAllwein,DaveBarker-Plummer,andAlbertLiu.p.cm.ISBN1-889119-08-3(pbk.:alk.paper)I.Etchemendy,John,1952-II.Allwein,Gerard,1956-III
3、.Barker-Plummer,Dave.IV.Liu,Albert,1966-V.Title.INPROCESS99-41113CIPAcknowledgementsOurprimarydebtofgratitudegoestoourthreemaincollaboratorsonthisproject:GerryAllwein,DaveBarker-Plummer,andAlbertLiu.Theyhaveworkedwithusindesigningtheentirepackage,developinga
4、ndimplementingthesoftware,andteachingfromandre¯ningthetext.Withouttheirintelli-gence,dedication,andhardwork,LPLwouldneitherexistnorhavemostofitsothergoodproperties.Inadditiontothe¯veofus,manypeoplehavecontributeddirectlyandin-directlytothecreationofthepackag
5、e.First,overtwodozenprogrammershaveworkedonpredecessorsofthesoftwareincludedwiththepackage,bothearlierversionsofTarski'sWorldandtheprogramHyperproof,someofwhosecodehasbeenincorporatedintoFitch.WewantespeciallytomentionChristopherFuselier,MarkGreaves,MikeLenz
6、,EricLy,andRickWong,whoseoutstand-ingcontributionstotheearlierprogramsprovidedthefoundationofthenewsoftware.Second,wethankseveralpeoplewhohavehelpedwiththedevelop-mentofthenewsoftwareinessentialways:RickSanders,RachelFarber,JonRussellBarwise,AlexLau,BradDoli
7、n,ThomasRobertson,LarryLemmon,andDanielChai.Theircontributionshaveimprovedthepackageinahostofways.PrereleaseversionsofLPLhavebeentestedatseveralcollegesanduni-versities.Inaddition,othercolleagueshaveprovidedexcellentadvicethatwehavetriedtoincorporateintothe¯
8、nalpackage.WethankSelmerBringsjord,RenssalaerPolytechnicInstitute;TomBurke,UniversityofSouthCarolina;RobinCooper,GothenburgUniversity;JamesDerden,HumboldtStateUni-versity;JoshDever,SUNYAlbany;Av