क्वांटम तर्क

क्वांटम मूल के गणितीय तर्क और भौतिकी विश्लेषण में, क्वांटम तर्क क्वांटम यांत्रिकी की संरचना से प्रेरित प्रस्तावों के प्रकलन के लिए नियमों का एक समूह है। यह क्षेत्र अपने प्रारम्भिक बिंदु के रूप में गैरेट बिरखॉफ और जॉन वॉन न्यूमैन का एक अवलोकन लेता है, कि पारम्परिक यांत्रिकी में प्रायोगिक परीक्षणों की संरचना एक बूलियन बीजगणित (संरचना) बनाती है, लेकिन क्वांटम यांत्रिकी में प्रायोगिक परीक्षणों की संरचना बहुत अधिक जटिल संरचना बनाती है।

क्वांटम तर्क को सामान्यतः प्रस्तावात्मक अनुमान के लिए सही तर्क के रूप में प्रस्तावित किया गया है, विशेष रूप से दार्शनिक हिलेरी पटनम द्वारा, कम से कम अपने जीवन में एक बिंदु पर। यह अभिधारणा पुत्नाम के 1968 के समाचार पट्र  तर्क अनुभवजन्य है  ? में एक महत्वपूर्ण घटक था जिसमें उन्होंने तर्कवाक्य तर्क के नियमों की ज्ञानमीमांसा की स्थिति का विश्लेषण किया। आधुनिक दार्शनिक तर्क के आधार के रूप में क्वांटम तर्क को अस्वीकार करते हैं, क्योंकि इसमें भौतिक सशर्त का अभाव है; एक सामान्य विकल्प रेखीय तर्क की प्रणाली है, जिसमें से क्वांटम तर्क एक टुकड़ा है।

गणितीय रूप से, बूलियन बीजगणित के लिए वितरण नियम को दुर्बलन करके क्वांटम तर्क तैयार किया जाता है, जिसके परिणामस्वरूप एक ऑर्थोकोम्प्लीमेंटेड जाली होता है। क्वांटम-यांत्रिक वेधशालाओं और जितना स्थिति को क्वांटम संगणनाओं के लिए एक वैकल्पिक वैधिकता (गणित) देते हुए या जाली पर कार्यों के संदर्भ में परिभाषित किया जा सकता है।

परिचय
क्वांटम तर्क और पारम्परिक तर्क के बीच सबसे उल्लेखनीय अंतर प्रस्तावात्मक तर्क वितरण नियम की विफलता है: 	: p और (q या r) = (p और q) या (p और r), जहाँ प्रतीक p, q और r प्रस्तावक चर हैं।

यह स्पष्ट करने के लिए कि वितरण नियम विफल क्यों होता है, एक रेखा पर गतिमान एक कण पर विचार करें और (इकाइयों की कुछ प्रणाली का उपयोग करते हुए जहां घटी हुई प्लैंक स्थिरांक 1 है) आइए
 * p = अंतराल $[0, +1/6]$ में कण का संवेग होता है
 * q = कण अंतराल $[−1, 1]$ में है
 * r = कण अंतराल $[1, 3]$ में है

हम देख सकते हैं कि:
 * p और (q या r) = सत्य

दूसरे शब्दों में, कि कण की स्थिति 0 और +1/6 के बीच संवेग का भारित अधिस्थापन है और -1 और +3 के बीच की स्थिति है।

दूसरी ओर, प्रस्ताव p और q और p और r प्रत्येक अनिश्चितता सिद्धांत द्वारा अनुमत स्थिति और गति के एक साथ मूल्यों पर कड़े प्रतिबंधों का दावा करते हैं (उनमें से प्रत्येक में अनिश्चितता 1/3 है, जो कि न्यूनतम 1 से कम है /2). इसलिए ऐसे कोई स्थिति नहीं हैं जो किसी भी प्रस्ताव का समर्थन कर सकें, और
 * (p और q) या (p और r) = असत्य

इतिहास और आधुनिक आलोचना
1932 के अपने पारम्परिक ग्रंथ क्वांटम यांत्रिकी की गणितीय नींव में, जॉन वॉन न्यूमैन ने कहा कि हिल्बर्ट अंतरिक्ष पर प्रक्षेपण (गणित) को भौतिक अवलोकनों के प्रस्ताव के रूप में देखा जा सकता है; अर्थात संभावित हाँ या ना वाले प्रश्न जो एक प्रेक्षक एक भौतिक प्रणाली की स्थिति के बारे में पूछ सकता है, ऐसे प्रश्न जिन्हें कुछ माप द्वारा सुलझाया जा सकता है। 1936 के सामाचार पत्र में वॉन न्यूमैन और बिरखॉफ द्वारा इन क्वांटम प्रस्तावों में प्रकलन करने के सिद्धांतों को तब क्वांटम तर्क कहा गया था।

जॉर्ज मैके ने अपनी 1963 की पुस्तक (जिसे क्वांटम यांत्रिकी की गणितीय नींव भी कहा जाता है) में, क्वांटम तर्क को एक ऑर्थोकम्प्लिमेंटेड जाली की संरचना के रूप में स्वयंसिद्ध करने का प्रयास किया, और माना कि एक भौतिक अवलोकन योग्य को क्वांटम प्रस्ताव के संदर्भ में परिभाषित किया जा सकता है। हालांकि मैके की प्रस्तुति अभी भी मानती है कि ऑर्थोकम्प्लिमेंटेड जाली एक वियोज्य अंतरिक्ष हिल्बर्ट अंतरिक्ष के बंद सम्मुच्चय रैखिक उप-स्थानों का जाली (क्रम) है, कॉन्स्टेंटाइन पिरोन, गुंथर लुडविग और अन्य ने बाद में स्वयंसिद्धीकरण विकसित किए जो एक अंतर्निहित हिल्बर्ट स्थान नहीं मानते हैं।

हंस रीचेनबैक के हाल ही में सामान्य सापेक्षता के बचाव से प्रेरित होकर, दार्शनिक हिलेरी पुतनाम ने 1968 और 1975 में दो पत्रों में मैके के काम को लोकप्रिय बनाया, जिसमें उन्होंने अपने सह-लेखक, भौतिक विज्ञानी डेविड फिंकेलस्टीन को इस विचार के लिए जिम्मेदार ठहराया कि क्वांटम मापन से जुड़ी विसंगतियां तर्क की विफलता से उत्पन्न होती हैं। पुटनाम ने क्वांटम मापन की समस्या में छिपे-चर सिद्धांत या वेवफंक्शन पतन के लिए एक संभावित विकल्प विकसित करने की आशा की, लेकिन ग्लीसन का प्रमेय इस लक्ष्य के लिए गंभीर कठिनाइयों को प्रस्तुत करता है। बाद में, पुत्नाम ने अपने विचारों को वापस ले लिया, यद्यपि बहुत कम धूमधाम से, परन्तु हानि हो चुकी थी। जबकि बिरखॉफ़ और वॉन न्यूमैन के मूल कार्य ने केवल क्वांटम यांत्रिकी की कोपेनहेगन व्याख्या से जुड़ी गणनाओं को व्यवस्थित करने का प्रयास किया था, शोधकर्ताओं का एक समूह अब उभर आया था, वह या तो यह उम्मीद कर रहा था कि क्वांटम तर्क एक व्यवहार्य छिपा-चर सिद्धांत प्रदान करेगा, या इसकी आवश्यकता को कम करेगा। उनका काम निष्फल प्रमाणित हुआ, और अब खराब प्रतिष्ठा में है।

अधिकांश दार्शनिक क्वांटम तर्क को पारम्परिक तर्क का अनाकर्षक प्रतियोगी मानते हैं। यह स्पष्ट नहीं है कि क्वांटम तर्क, तर्क की एक प्रक्रिया का वर्णन करने के अर्थ में एक तर्क है, जो क्वांटम उपकरणों द्वारा किए गए मापों को सारांशित करने के लिए विशेष रूप से सुविधाजनक भाषा के विपरीत है। (हालांकि, दूसरों का तर्क है कि वे तर्क हैं और सभी प्रामाणिक शर्तों को पूरा करते हैं, तर्कशास्त्रियों को एक अमूर्त वस्तु को तर्क कहने की आवश्यकता होती है। ) विशेष रूप से, विज्ञान के आधुनिक दार्शनिक तर्क देते हैं कि क्वांटम तर्क भौतिक विज्ञान की समस्याओं को ठीक से हल करने के स्थान पर भौतिकी में अनसुलझी समस्याओं के लिए आध्यात्मिक कठिनाइयों को स्थानापन्न करने का प्रयास करता है। टिम मौडलिन लिखते हैं कि क्वांटम तर्क माप समस्या को हल करता है | [माप] समस्या को स्तिथि के लिए असंभव बनाकर हल करता है।

क्वांटम तर्क तर्कशास्त्रियों के बीच एक अत्यंत तर्कहीन काउंटरएक्साम्पल के रूप में सीमित उपयोग में रहता है (दल्ला चियारा और गिउंटिनी: क्वांटम तर्क क्यों? सिर्फ इसलिए कि 'क्वांटम तर्क हैं!')। हालांकि क्वांटम तर्क के लिए केंद्रीय अंतर्दृष्टि वर्गीकरण के लिए एक अंतर्ज्ञान पंप के रूप में गणितीय लोककथा बनी हुई है, चर्चा कदाचित ही कभी क्वांटम तर्क का उल्लेख करती है।

बीजगणितीय संरचना
क्वांटम तर्क को प्रस्तावों के सिद्धांत के रूप में स्वयंसिद्ध किया जा सकता है जो निम्नलिखित पहचानों को मापांक करता है:
 * a{{=}¬¬a
 * ∨ क्रमविनिमेय और साहचर्य है।
 * एक अधिकतम तत्व ⊤, और किसी भी b के लिए ⊤ =b∨¬b है।
 * a∨¬(¬a∨b)=a।

(¬ निषेध (तर्क) के लिए पारंपरिक संकेतन है, ∨ या (तर्क) के लिए संकेतन, और ∧ और (तर्क) के लिए संकेतन है।)

कुछ लेखक ऑर्थोमॉड्यूलर जाली तक सीमित हैं, जो अतिरिक्त रूप से ऑर्थोमॉड्यूलर नियम को पूरा करते हैं:
 * अगर ⊤{{=}¬(¬a∨¬b)∨¬(a∨b) फिर a =b।

(⊤ सत्यता के लिए पारंपरिक संकेतन है और ⊥ असत्यता के लिए पारंपरिक संकेतन है।)

वैकल्पिक फॉर्मूलेशन में प्राकृतिक निगमन के माध्यम से व्युत्पन्न प्रस्ताव सम्मिलित हैं, अनुवर्ती कलन या विश्लेषणात्मक झांकी प्रणाली की विधि है। अपेक्षाकृत विकसित प्रमाण सिद्धांत के बावजूद, क्वांटम तर्क को निर्णायकता (तर्क) के रूप में नहीं जाना जाता है।

क्वांटम तर्क वेधशालाओं के तर्क के रूप में
इस लेख के शेष भाग में माना गया है कि पाठक हिल्बर्ट स्पेस पर स्व-संलग्न संचालक के वर्णक्रमीय सिद्धांत से परिचित है। हालांकि, मुख्य विचारों को परिमित-आयामी स्तिथि में समझा जा सकता है।

पारम्परिक यांत्रिकी का तर्क
पारम्परिक यांत्रिकी के हैमिल्टनियन यांत्रिकी योगों में तीन अवयव हैं: पारम्परिक यांत्रिकी, वेधशालाएँ और गतिकी (यांत्रिकी)। R3 में गतिमान एकल कण के सरलतम स्तिथि में, अवस्था समष्टि स्थिति-गति स्थान R6 है। एक अवलोकनीय अवस्था समष्टि पर कुछ वास्तविक-मूल्यवान प्रकार्य f है। वेधशालाओं के उदाहरण एक कण की स्थिति, संवेग या ऊर्जा हैं। पारम्परिक प्रणालियों के लिए, मान f(x), जो कि किसी विशेष प्रणाली अवस्था x के लिए f का मान है, f की माप की प्रक्रिया द्वारा प्राप्त किया जाता है

पारम्परिक प्रणाली से संबंधित प्रस्ताव प्रपत्र के मूल कथनों से उत्पन्न होते हैं


 * f के मापन से कुछ वास्तविक संख्याओं a, b के लिए अंतराल [a, b] में एक मान

पारंपरिक अंकगणितीय संचालन और सीमा (गणित) के माध्यम से प्राप्त होता है। यह पारम्परिक प्रणालियों में प्रस्तावों के इस लक्षण वर्णन से आसानी से अनुसरण करता है कि संबंधित तर्क अवस्था अंतरिक्ष के बोरेल उपसमुच्चय के बूलियन बीजगणित (संरचना) के समान है। इस प्रकार वे पारम्परिक तर्क प्रस्‍थापना संबंधी तर्क (जैसे डी मॉर्गन के नियम) के नियमों का पालन करते हैं, जिसमें बूलियन संचालक (बूलियन बीजगणित) के अनुरूप यूनियन और प्रतिच्छेदन के सम्मुच्चय संचालन होते हैं और शाब्दिक आपादन (अनुमान का नियम) के अनुरूप उपसमुच्चय सम्मिलित होते हैं।

वास्तव में, एक मजबूत दावा सच है: उन्हें असीमित तर्क $L_{&omega;_{1},&omega;}$ का पालन करना चाहिए।

हम इन टिप्पणियों को संक्षेप में प्रस्तुत करते हैं: पारम्परिक प्रणाली की प्रस्ताव प्रणाली एक विशिष्ट ऑर्थोकोम्प्लीमेंटेशन संचालन के साथ एक जाली है: मिलने और जुड़ने के जाली संचालन क्रमशः प्रतिच्छेदन और सम्मुच्चय संघ हैं। ऑर्थोकंप्लिमेंटेशन संचालन पूरक सम्मुच्चय है। इसके अलावा, यह जाली क्रमिक रूप से पूर्ण है, इस अर्थ में कि कोई भी अनुक्रम {ei}i जाली के तत्वों की कम से कम ऊपरी सीमा होती है, विशेष रूप से सम्मुच्चय-सैद्धांतिक संघ: $$ \operatorname{LUB}(\{E_i\}) = \bigcup_{i=1}^\infty E_i\text{.} $$

एक क्वांटम यांत्रिक प्रणाली की प्रस्तावित जाली
वॉन न्यूमैन द्वारा प्रस्तुत क्वांटम यांत्रिकी के हिल्बर्ट स्पेस फॉर्मूलेशन में, हिल्बर्ट स्थल h पर कुछ (संभवतः अबाधित) सघन रूप से परिभाषित स्व-आसन्न संचालक a द्वारा एक भौतिक प्रेक्षण योग्य का प्रतिनिधित्व किया जाता है। a में एक वर्णक्रमीय अपघटन है, जो एक प्रक्षेपण-मूल्यवान है उपाय e 'r' के बोरेल सबसम्मुच्चय पर परिभाषित किया गया है। विशेष रूप से, 'R' पर किसी भी बंधे हुए बोरेल फलन f के लिए, संचालकों के लिए f का निम्नलिखित विस्तार किया जा सकता है:


 * $$ f(A) = \int_{\mathbb{R}} f(\lambda) \, d \operatorname{E}(\lambda).$$

स्तिथि में f एक अंतराल [a, b] का सूचक कार्य है, संचालक f (a) ईजेनवेल्यू के साथ a के सामान्यीकृत ईजेनवेक्टर के उप-स्थान पर एक स्व-संलग्न प्रक्षेपण है $[a,b]$. उस उप-स्थान की व्याख्या पारम्परिक प्रस्ताव के क्वांटम समधर्मी के रूप में की जा सकती है
 * A का मापन अंतराल [a, b] में एक मान देता है।

यह पारम्परिक यांत्रिकी में प्रस्तावों के ऑर्थोकम्प्लीमेंटेड जाली के लिए निम्नलिखित क्वांटम यांत्रिक प्रतिस्थापन का सुझाव देता है, अनिवार्य रूप से मैकी का स्वयंसिद्ध VII:


 * क्वांटम यांत्रिक प्रणाली के प्रस्ताव एच के बंद उप-स्थानों की जाली के अनुरूप हैं; एक प्रस्ताव V की उपेक्षा आयतीय पूरक V ⊥ है।

क्वांटम प्रस्तावों का स्थान Q भी क्रमिक रूप से पूर्ण है: कोई भी जोड़ीदार असंयुक्त अनुक्रम {Vi}i q के तत्वों की कम से कम ऊपरी सीमा है। यहाँ W1 की असम्बद्धता और w2 मतलब w2 W1 की एक उपसमष्टि है। {Vi}i की सबसे कम ऊपरी सीमा बंद आंतरिक प्रत्यक्ष योग है

मानक शब्दार्थ
क्वांटम तर्क का मानक शब्दार्थ यह है कि क्वांटम तर्क एक वियोज्य समष्टि हिल्बर्ट समष्टि या पूर्व-हिल्बर्ट अंतरिक्ष में प्रक्षेप संचालक का तर्क है, जहाँ एक प्रेक्षणीय p आइगेनस्पेस से जुड़ा होता है जिसके लिए p (जब मापा जाता है) का आइगेनवैल्यू 1 होता है। वहाँ से ,
 * ¬p, p का आयतीय पूरक है (चूँकि उन अवस्थाओं के लिए, p, P(p) = 0 के प्रेक्षण की प्रायिकता),
 * p∧q, p और q का प्रतिच्छेदन है, और
 * p∨q = ¬(¬p∧¬q) अवस्थाों को संदर्भित करता है कि क्वांटम अध्यारोपण p और q है।

इस शब्दार्थ में अच्छी संपत्ति है कि प्री-हिल्बर्ट समष्टि पूरा हो गया है (अर्थात, हिल्बर्ट) अगर और केवल अगर प्रस्ताव ऑर्थोमॉड्यूलर नियम को संतुष्ट करते हैं, तो परिणाम सोलर प्रमेय के रूप में जाना जाता है। क्वांटम तर्क के ऑर्थोमॉड्यूलर संकेतार्थविज्ञान और संकेतार्थविज्ञान के कारण है, एक पूर्णता प्रमेय है और यह कटौती प्रमेय के लिए विफल रहता है।

यद्यपि क्वांटम तर्क का अधिकांश विकास मानक शब्दार्थ से प्रेरित है, यह बाद वाले की विशेषता नहीं है; उस जाली से संतुष्ट अतिरिक्त गुण हैं जिन्हें क्वांटम तर्क में रखने की आवश्यकता नहीं है।

पारम्परिक तर्क के साथ अंतर
q की संरचना पारम्परिक प्रस्ताव प्रणाली के आंशिक क्रम संरचना के साथ अंतर को तुरंत इंगित करती है। पारम्परिक स्तिथि में, एक प्रस्ताव p दिया गया है, समीकरण
 * ⊤=p∨q और
 * ⊥=p∧q

बिल्कुल एक समाधान है, अर्थात् p के सम्मुच्चय-सैद्धांतिक पूरक। अनुमानों की जाली के स्तिथि में उपरोक्त समीकरणों के असीमित रूप से कई समाधान हैं (p के किसी भी बंद, बीजगणितीय पूरक इसे हल करते हैं; इसे ऑर्थोकोम्प्लीमेंट होने की आवश्यकता नहीं है)।

अधिक सामान्यतः, मूल्यांकन (तर्क) में क्वांटम तर्क में असामान्य गुण होते हैं। { ⊥, ⊤} में कुल कार्य जाली समरूपता को स्वीकार करने वाला एक ऑर्थोकम्प्लीमेंटेड लैटिस बूलियन होना चाहिए। निस्यंदन संपत्ति के साथ अधिकतम आंशिक समरूपता q का अध्ययन करना एक मानक समाधान है:
 * अगर a≤b और q(a)=⊤, फिर q(b)=⊤.

वितरण की विफलता
क्वांटम तर्क में अभिव्यंजना संकेतार्थविज्ञान का उपयोग करके वेधशालाओं का वर्णन करते हैं जो पारम्परिक तर्क जैसा दिखता है। हालांकि, पारम्परिक तर्क के विपरीत, वितरण नियम a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c) विफल हो जाता है जब क्वांटम यांत्रिकी में वेधशालाओं की असंगति, जैसे स्थिति और गति के साथ काम करते हैं। ऐसा इसलिए होता है क्योंकि यह माप प्रणाली को प्रभावित करता है, और यह माप कि क्या एक संयोजन धारण करता है, यह नहीं मापता है कि कौन से संयोजन सत्य हैं।

उदाहरण के लिए, एक साधारण एक-आयामी कण पर विचार करें जिसे x द्वारा दर्शाया गया है और p द्वारा संवेग है, और वेधशालाओं को परिभाषित करें:
 * a - |p| ≤ 1 (कुछ इकाइयों में)
 * b - x <0
 * c - x ≥ 0

अब, स्थिति और संवेग एक दूसरे के फूरियर रूपांतर हैं, और एक सुसंहत समर्थन के साथ एक वर्ग-एकीकृत गैर-शून्य फलन का फूरियर रूपांतरण संपूर्ण कार्य है और इसलिए इसमें गैर-पृथक शून्य नहीं हैं। इसलिए, ऐसा कोई तरंग फलन नहीं है जो संवेग स्थान में सामान्यीकरण योग्य तरंग फलन है और ठीक x ≥ 0 पर गायब हो जाता है। इस प्रकार, a ∧ b और इसी तरह a ∧ c असत्य हैं, इसलिए (a ∧ b) ∨ (a ∧ c) असत्य है। हालांकि, a ∧ (b ∨ c) एक के बराबर है, जो निश्चित रूप से गलत नहीं है (ऐसे अवस्था हैं जिनके लिए यह एक व्यवहार्य क्वांटम माप है)। इसके अलावा यदि कण की गतिकी के लिए प्रासंगिक हिल्बर्ट स्थान केवल संवेग को 1 से अधिक नहीं मानता है, तो एक सत्य है।

अधिक समझने के लिए, p1 और p2 कण तरंग फलन के क्रमशः x <0 और x ≥ 0 के प्रतिबंध के लिए गति हो (प्रतिबंध के बाहर तरंग फलन शून्य के साथ)। माना |p|↾&gt;1 |p| का प्रतिबंध मोमेंटा के लिए है जो (पूर्ण मूल्य में)> 1 हैं।

(a ∧ b) ∨ (a ∧ c) |p वाले अवस्थाों के अनुरूप है1|↾&gt;1 = | p2|↾&gt;1 = 0 (यह तब भी लागू होता है जब हम p को अलग तरह से परिभाषित करते हैं ताकि ऐसी अवस्थाओं को संभव बनाया जा सके; साथ ही, a ∧ b |p के अनुरूप है1|↾&gt;1= 0 और p2=0)। एक संचालक के रूप में, p = p1+ p2, और अशून्य | p1|↾&gt;1 और | p2|↾&gt;1 शून्य उत्पन्न करने के लिए हस्तक्षेप कर सकता है |p|↾&gt;1। ऐसा हस्तक्षेप क्वांटम तर्क और क्वांटम यांत्रिकी की समृद्धि की कुंजी है।

मैके वेधशाला
एक ऑर्थोकम्प्लीमेंट q दिया गया है, एक मैकी प्रेक्षणीय φ 'r' से q के बोरेल उपसमुच्चय के ऑर्थोकोम्प्लीमेंटेड लैटिस से एक संख्येय योगात्मक उपाय है। प्रतीकों में, इसका मतलब है कि किसी भी अनुक्रम के लिए {si}i R के जोड़ीदार असंयुक्त बोरेल उपसमुच्चय का, {φ(Si)}i जोड़ीदार आयतीय प्रस्ताव (q के तत्व) हैं और


 * $$ \varphi\left(\bigcup_{i=1}^\infty S_i\right) = \sum_{i=1}^\infty \varphi(S_i). $$

समतुल्य रूप से, मैके प्रेक्षणीय r पर एक प्रक्षेपण-मूल्यवान उपाय है।

प्रमेय (वर्णक्रमीय प्रमेय) यदि q हिल्बर्ट 'h' के बंद उप-स्थानों की जाली है, तो मैके वेधशालाओं और 'h' पर सघन रूप से परिभाषित स्व-संबद्ध संचालकों के बीच एक विशेषण पत्राचार है।

क्वांटम संभाव्यता उपाय
एक क्वांटम संभाव्यता माप एक फलन P है जिसे Q पर [0,1] में मानों के साथ परिभाषित किया गया है जैसे कि P(⊥)=0, P(⊤)=1 और यदि {Ei}i q के जोड़ीदार आयतीय तत्वों का अनुक्रम निम्न है
 * $$ \operatorname{P}\!\left(\bigvee_{i=1}^\infty E_i\right) = \sum_{i=1}^\infty \operatorname{P}(E_i). $$

हिल्बर्ट अंतरिक्ष के बंद उपस्थानों पर प्रत्येक क्वांटम प्रायिकता माप एक घनत्व आव्यूह से प्रेरित होता है - अनुरेख 1 का एक सकारात्मक संचालिका (रैखिक बीजगणित)।

औपचारिक रूप से,
 * प्रमेय, मान लीजिए q कम से कम 3 जटिल आयाम के एक वियोज्य हिल्बर्ट अंतरिक्ष के बंद उपस्थानों की जाली है। फिर q पर किसी भी क्वांटम संभाव्यता माप p के लिए एक अद्वितीय अनुरेखण वर्ग संचालक s उपस्थित है जैसे कि $$\operatorname{P}(E) = \operatorname{Tr}(S E)$$ q में किसी भी स्व-संलग्न प्रक्षेपण e के लिए।

अन्य तर्क से संबंध
क्वांटम तर्क रैखिक तर्क में अंतः स्थापित होता है और निश्चयमात्रक तर्कशास्त्र B।

क्वांटम प्रस्तावों के किसी भी सम्मुच्चय के ऑर्थोकम्प्लीमेंटेड जाली को बूलियन बीजगणित में अंतः स्थापित किया जा सकता है, जो पारम्परिक तर्क के लिए उपयुक्त है।

सीमाएं
हालांकि क्वांटम तर्क के कई उपचार मानते हैं कि अंतर्निहित जाली ऑर्थोमॉड्यूलर होनी चाहिए, ऐसे तर्क कई अन्योन्यकारी क्वांटम प्रणाली को संचलन नहीं कर सकते हैं। फाउलिस और रान्डेल के कारण एक उदाहरण में, परिमित-आयामी हिल्बर्ट मॉडल के साथ ऑर्थोमॉड्यूलर प्रस्ताव हैं जिनकी जोड़ी कोई ऑर्थोमॉड्यूलर प्रतिरूप स्वीकार नहीं करती है।

क्वांटम तर्क कोई उचित भौतिक सशर्त स्वीकार नहीं करता है; कोई भी तार्किक संयोजक जो एक निश्चित तकनीकी अर्थ में संयोजक की एकरसता है, प्रस्तावों के वर्ग को बूलियन बीजगणित (संरचना) में कम कर देता है। नतीजतन, क्वांटम तर्क समय बीतने का प्रतिनिधित्व करने के लिए संघर्ष करता है। एक संभावित समाधान 1970 और 1980 के दशक के अंत में व्याचेस्लाव बेलावकिन द्वारा विकसित बेलावकिन समीकरण का सिद्धांत है। हालांकि, यह ज्ञात है कि प्रणाली BV, रैखिक तर्क का एक गहरा निष्कर्ष टुकड़ा है जो क्वांटम तर्क के बहुत करीब है, और स्वेच्छाचारी यादृच्छिक आलेख को नियंत्रित कर सकता है।

यह भी देखें

 * स्वानुशासित तर्क
 * एचपीओ औपचारिकता (अस्थायी परिमाण तर्क के लिए एक दृष्टिकोण)
 * रैखिक तर्क
 * परिमाण यांत्रिकी का गणितीय सूत्रीकरण
 * बहु-मूल्यवान तर्क
 * परिमाण बायेसियनवाद
 * परिमाण अनुभूति
 * परिमाण प्रासंगिकता
 * परिमाण क्षेत्र सिद्धांत
 * परिमाण संभावना
 * अर्ध-सेट सिद्धांत
 * सोलर प्रमेय
 * सदिश तर्क

ऐतिहासिक कार्य

 * कालानुक्रमिक रूप से व्यवस्थित



गणितीय अध्ययन

 * एन पपनिकोलाउ, रीजनिंग फॉर्मली अबाउट क्वांटम प्रणाली्स: एन ओवरव्यू, एसीएम सिगेक्ट न्यूज, 36(3), 2005। pp। 51-66। r्क्सिव cs/0508005।
 * एन पपनिकोलाउ, रीजनिंग फॉर्मली अबाउट क्वांटम प्रणाली्स: एन ओवरव्यू, एसीएम सिगेक्ट न्यूज, 36(3), 2005। pp। 51-66। r्क्सिव cs/0508005।
 * एन पपनिकोलाउ, रीजनिंग फॉर्मली अबाउट क्वांटम प्रणाली्स: एन ओवरव्यू, एसीएम सिगेक्ट न्यूज, 36(3), 2005। pp। 51-66। r्क्सिव cs/0508005।

क्वांटम नींव

 * डी. कोहेन, एन इंट्रोडक्शन टू हिल्बर्ट स्पेस एंड क्वांटम तर्क, स्प्रिंगर-वेरलाग, 1989. एलीमेंट्री एंड वेल-इलस्ट्रेटेड; उन्नत स्नातक के लिए उपयुक्त।