文档介绍:HANDBOOKOFQUANTUMLOGICANDQUANTUMSTRUCTURESQUANTUMLOGICThispageintentionallyleftblankHANDBOOKOFQUANTUMLOGICANDQUANTUMSTRUCTURESQUANTUMLOGICEditedbyKURTENGESSERUniversitätKonstanz,Konstanz,'sCollegeLondon,Strand,London,UKDANIELLEHMANNTheHebrewUniversityofJerusalem,Jerusalem,IsraelAmsterdam•Boston•Heidelberg•London•NewYork•OxfordParis•SanDiego•SanFrancisco•Singapore•Sydney•TokyoNorth-HollandisanimprintofElsevierNorth-HollandisanimprintofElsevierRadarweg29,POBox211,1000AEAmsterdam,herlandsTheBoulevard,LangfordLane,Kidlington,OxfordOX51GB,UKFirstedition2009Copyright©,storedinaretrievalsystemortransmittedinanyformorbyanymeanselectronic,mechanical,photocopying,recordingorotherwisewithoutthepriorwrittenpermissionofthepublisherPermissionsmaybesoughtdirectlyfromElsevier’sScience&TechnologyRightsDepartmentinOxford,UK:phone(+44)(0)1865843830;fax(+44)(0)1865853333;email:******@.AlternativelyyoucansubmityourrequestonlinebyvisitingtheElsevierwebsiteat/locate/permissions,andselectingObtainingpermissiontouseElseviermaterialNoticeNoresponsibilityisassumedbythepublisherforanyinjuryand/ordamagetopersonsorpropertyasamatterofproductsliability,negligenceorotherwise,orfromanyuseoroperationofanymethods,products,instructionsorideascontainedinthematerialhereinBritishLibraryCataloguing-in-PublicationDataAcataloguerecordforthisbookisavailablefromtheBritishLibraryLibraryofCongressCataloging-in-PublicationDataAcatalogrecordforthisbookisavailablefromtheLibraryofCongressISBN:978-0-444-52869-8ForinformationonallNorth-PrintedandboundinHungary09101112**********CONTENTSForewordviiAnatolijDvureˇcenskijEditorialPrefaceixKurtEngesser,DovGabbayandDanielLehmannTheBirkhoff–vonNeumannConceptofQuantumLogic1Mikl´o´sRedeieIsQuantumLogicaLogic?23MladenPaviˇci´?iagaluppiQuantumAxiomatics79DiederikAertsQuantumLogicandNonclassicalLogics127GianpieroCattaneo,MariaLuisaDallaChiara,RobertoG