কিছু ব্যাকগ্রাউন্ড: ইউকাসিউইজিক বহু মূল্যবান লজিককে মডেল লজিক হিসাবে চিহ্নিত করা হয়েছিল, এবং ইউকাসিউইচজ মডেল অপারেটরের একটি এক্সটেনশনাল সংজ্ঞা দিয়েছিলেন : (যা তিনি তারস্কির সাথে দায়ী)।
এটি একটি অদ্ভুত মডেল যুক্তি দেয়, কিছু প্যারাডোক্সিকাল সহ, আপাতদৃষ্টিতে অযৌক্তিক উপপাদ্য না থাকলে উল্লেখযোগ্যভাবে । মডেল লজিকের ইতিহাসে এটি কেন পাদটীকাতে প্রেরণ করা হয়েছে তা দেখার জন্য বিকল্প ।
যাইহোক, আমি বুঝতে পেরেছি যে লিনিয়ার লজিক এবং অন্যান্য কাঠামোগত লজিকগুলিতে কোনও সম্ভাবনা অপারেটরের এই সংজ্ঞা প্রয়োগ করা হলে এটি কম অযৌক্তিক। মাসের শুরুর দিকে এ সম্পর্কে আমার একটি অনানুষ্ঠানিক কথা আছে। আলোচনার একটি লিঙ্কটি http://www.cs.st-andrews.ac.uk/~rr/pubs/lablunch-20110308.pdf এ রয়েছে
(আমি স্ট্রাকচারাল মডেল লজিক্স সম্পর্কে যে কারণগুলির বিষয়ে জিজ্ঞাসা করেছি তার একটি হ'ল এই অপারেটরের ব্যবহারের সাথে সেই লজিকগুলির ভাবের সাথে তুলনা করা))
যাইহোক, একমাত্র অ-সমালোচনামূলক কাজ যা আমি উল্লেখ করেছি এটি হ'ল অস্ট্রেলাসিয়ান অ্যাসোসিয়েশন ফর লজিক 1997 এর বার্ষিক সম্মেলনে "টারস্কির ম্যাগালিচকিটকে একটি সাধারণীকরণ" এ টর্কেটের একটি বক্তৃতা। বিমূর্ত BSL 4 (4), হয় http://www.math.ucla.edu/~asl/bsl/0404/0404-006.ps মূলত Turquette প্রস্তাব এপ্লিকেশন জন্য ন্যায়শাস্ত্র -valued -state সিস্টেম। (আমি এই আলাপের কোনও নোট, স্লাইড বা অন্যান্য বিষয়বস্তু পেতে সক্ষম হইনি, সুতরাং যার কাছে আরও তথ্য আছে তাদের কাছ থেকে শ্রবণের প্রশংসা করব))মি
এখানে কেউ কি অন্য নিবন্ধ বা কাগজপত্র সম্পর্কে সচেতন?
(এর জন্য আমার কাছে কোনও অ্যাপ্লিকেশন নেই, তবে আমি কাগজগুলির যোগ্যতার জন্য সম্পত্তিগুলি যথেষ্ট আকর্ষণীয় বলে মনে করি))