资源描述:
《engesser,handbook of quantum logic》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、HANDBOOKOFQUANTUMLOGICANDQUANTUMSTRUCTURESQUANTUMLOGICThispageintentionallyleftblankHANDBOOKOFQUANTUMLOGICANDQUANTUMSTRUCTURESQUANTUMLOGICEditedbyKURTENGESSERUniversitätKonstanz,Konstanz,GermanyDOVM.GABBAYKing'sCollegeLondon,Strand,London,UKDANIELLEHMANNTheHebrewUn
2、iversityofJerusalem,Jerusalem,IsraelAmsterdam•Boston•Heidelberg•London•NewYork•OxfordParis•SanDiego•SanFrancisco•Singapore•Sydney•TokyoNorth-HollandisanimprintofElsevierNorth-HollandisanimprintofElsevierRadarweg29,POBox211,1000AEAmsterdam,TheNetherlandsTheBoulevard
3、,LangfordLane,Kidlington,OxfordOX51GB,UKFirstedition2009Copyright©2009ElsevierB.V.AllrightsreservedNopartofthispublicationmaybereproduced,storedinaretrievalsystemortransmittedinanyformorbyanymeanselectronic,mechanical,photocopying,recordingorotherwisewithouttheprio
4、rwrittenpermissionofthepublisherPermissionsmaybesoughtdirectlyfromElsevier’sScience&TechnologyRightsDepartmentinOxford,UK:phone(+44)(0)1865843830;fax(+44)(0)1865853333;email:permissions@elsevier.com.AlternativelyyoucansubmityourrequestonlinebyvisitingtheElsevierweb
5、siteathttp://elsevier.com/locate/permissions,andselectingObtainingpermissiontouseElseviermaterialNoticeNoresponsibilityisassumedbythepublisherforanyinjuryand/ordamagetopersonsorpropertyasamatterofproductsliability,negligenceorotherwise,orfromanyuseoroperationofanym
6、ethods,products,instructionsorideascontainedinthematerialhereinBritishLibraryCataloguing-in-PublicationDataAcataloguerecordforthisbookisavailablefromtheBritishLibraryLibraryofCongressCataloging-in-PublicationDataAcatalogrecordforthisbookisavailablefromtheLibraryofC
7、ongressISBN:978-0-444-52869-8ForinformationonallNorth-Hollandpublicationsvisitourwebsiteatelsevierdirect.comPrintedandboundinHungary0910111210987654321CONTENTSForewordviiAnatolijDvureenskijˇcEditorialPrefaceixKurtEngesser,DovGabbayandDanielLehmannTheBirkhoff–vonNeum
8、annConceptofQuantumLogic1MiklsRedei´o´eIsQuantumLogicaLogic?23MladenPaviˇci´candNormanD.MegillIsLogicEmpirical?49GuidoBacciagaluppiQuantumAxiomat