معنا شناسی ادات ربط در منطق کوانتومی
چکیده
در منطق کوانتومی، هر گزاره معادل با یک زیرفضای بسته هیلبرت در نظر گرفته میشود. بر این اساس، نقیض یک گزاره، معادل با مکمل متعامد یک زیرفضای بسته، ترکیب عطفی دو گزاره، معادل با اشتراک دو زیرفضای بسته و ترکیب فصلی آنها، معادل با سوپریمم دو زیرفضای بسته تعریف میشوند. این مقاله در تلاش است ضمن تبیین این موارد، معناشناسی ادات ربط در منطق کوانتومی را به دو صورت جبری و کریپکیایی معرفی کند و ارتباط این معناشناسیها را با جهان فیزیکی تشریح نماید.
کلید واژگان
منطق کوانتومیادات ربط
فضای هیلبرت
شبکه متعامد
تحقق جبری
تحقق کریپکیایی
شماره نشریه
1تاریخ نشر
2012-06-211391-04-01
ناشر
دانشگاه الزهراAlzahra University
شاپا
2345-49112645-4211
