معنا شناسی ادات ربط در منطق کوانتومی

Publish Year: 1391
نوع سند: مقاله ژورنالی
زبان: Persian
View: 420

This Paper With 18 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:

شناسه ملی سند علمی:

JR_JAPAZ-2-1_001

تاریخ نمایه سازی: 18 خرداد 1398

Abstract:

  در منطق کوانتومی، هر گزاره معادل با یک زیرفضای بسته هیلبرت در نظر گرفته می شود. بر این اساس، نقیض یک گزاره، معادل با مکمل متعامد یک زیرفضای بسته، ترکیب عطفی دو گزاره، معادل با اشتراک دو زیرفضای بسته و ترکیب فصلی آنها، معادل با سوپریمم دو زیرفضای بسته تعریف می شوند. این مقاله در تلاش است ضمن تبیین این موارد، معناشناسی ادات ربط در منطق کوانتومی را به دو صورت جبری و کریپکیایی معرفی کند و ارتباط این معناشناسی ها را با جهان فیزیکی تشریح نماید.  

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • Birkhoff G. and von Neumann J. The Logic of Quantum ...
  • Dalla Chiara L. and Giuntini R. , Quantum Logic , ...
  • Engesser K. and Gabbay D.M. and Lehmann D. , A ...
  • Aerts D. and Hondt E.D. and Gabora L. , Why ...
  • Putnam H. , Three- Valued Logic , Philosophical studies , ...
  • Feyerabend P. , Reichenbach s Interpretation of Quantum Mechanics , ...
  • Greenstein G. and Zajonc A. , The Quantum challenges, Jones ...
  • Lambert K. , Logical Truth and Microphysics , in Free ...
  • Nishimura H. , Proof Theory for Minimal Quantum Logic . ...
  • Kalmbach G. , Orthomodular Lattice , New York, Academic Press, ...
  • Hardegree G. M. , Stalnaker Conditionals and Quantum Logic , ...
  • Journal of Philosophical Logic, Vol. 29 , No 4, 1975, ...
  • Hardegree G. M. , The conditional Quantum Logic , in ...
  • Dishkant H. , Semantics of the Minimal Logic of Quantum ...
  • نمایش کامل مراجع