তারস্কিয়ান ম্যাগলিচকেইটে কাগজপত্র এবং নিবন্ধগুলি সন্ধান করছেন


15

কিছু ব্যাকগ্রাউন্ড: ইউকাসিউইজিক বহু মূল্যবান লজিককে মডেল লজিক হিসাবে চিহ্নিত করা হয়েছিল, এবং ইউকাসিউইচজ মডেল অপারেটরের একটি এক্সটেনশনাল সংজ্ঞা দিয়েছিলেন : (যা তিনি তারস্কির সাথে দায়ী)।A=¬একজনএকজন

এটি একটি অদ্ভুত মডেল যুক্তি দেয়, কিছু প্যারাডোক্সিকাল সহ, আপাতদৃষ্টিতে অযৌক্তিক উপপাদ্য না থাকলে উল্লেখযোগ্যভাবে । মডেল লজিকের ইতিহাসে এটি কেন পাদটীকাতে প্রেরণ করা হয়েছে তা দেখার জন্য বিকল্প ।(একজনবি)(একজনবি)¬একজনবি

যাইহোক, আমি বুঝতে পেরেছি যে লিনিয়ার লজিক এবং অন্যান্য কাঠামোগত লজিকগুলিতে কোনও সম্ভাবনা অপারেটরের এই সংজ্ঞা প্রয়োগ করা হলে এটি কম অযৌক্তিক। মাসের শুরুর দিকে এ সম্পর্কে আমার একটি অনানুষ্ঠানিক কথা আছে। আলোচনার একটি লিঙ্কটি 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 সিস্টেম। (আমি এই আলাপের কোনও নোট, স্লাইড বা অন্যান্য বিষয়বস্তু পেতে সক্ষম হইনি, সুতরাং যার কাছে আরও তথ্য আছে তাদের কাছ থেকে শ্রবণের প্রশংসা করব))মিমিমি

এখানে কেউ কি অন্য নিবন্ধ বা কাগজপত্র সম্পর্কে সচেতন?

(এর জন্য আমার কাছে কোনও অ্যাপ্লিকেশন নেই, তবে আমি কাগজগুলির যোগ্যতার জন্য সম্পত্তিগুলি যথেষ্ট আকর্ষণীয় বলে মনে করি))


2
আমি এই মড্যালিটি সম্পর্কে কিছুই দেখিনি, তবে আমি আপনার স্লাইডগুলি পছন্দ করি। যদি এখানে কিছু না ঘুরে, আপনি ম্যাথওভারফ্লো (বা এমনকি एफওএম মেলিং তালিকা )ও চেষ্টা করে দেখতে পারেন।
নীল কৃষ্ণস্বামী

আমি ম্যাথওভারফ্লো সম্পর্কে জানতাম না। ধন্যবাদ!
রব

1
আমি একই প্রশ্নটি ম্যাথওভারফ্লো ম্যাথওভারফ্লো.
রব

2
আমি এর আগে তারস্কির ম্যাগলিচকেটের কথা আগে কখনও শুনিনি, তবে আমি আগ্রহী? এবং এর ব্যাখ্যাগুলি বিশ্বস্ত কিনা তা আপনি নিশ্চিত ? আপনি জানেন যে (শাস্ত্রীয় / স্বজ্ঞাত?) প্রস্তাবের অন্যান্য সম্ভাব্য অনুবাদ রয়েছে ¬এ even এ এমনকি ক্লাসিকাল একজন=একজনএকজনএকজন=একজনএকজন
মলেও

@ নোম এর এমএলএল সূত্র ব্যাখ্যা করার সাথে কিছু করার নেই। এই সমতাগুলি asukasiewicz লজিকে ধারণ করে, যা AMALL প্লাস । ((একজনবি)বি)((বিএকজন)একজন)
রব

উত্তর:


8

রব, আমি জানতাম না যে এটিকে টারস্কিয়ান মোগলিচকিইট বলা হয়, তবে মার্টিন এসকার্ডো এবং আমি এই অপারেটরটি (এ -> বি) -> এ সম্পর্কে পড়াশোনা করেছি, যখন সাধারণ ক্ষেত্রে মিথ্যাচারটি একটি নির্বিচার সূত্র বি, অতীতে কয়েক বছর, মূলত শাস্ত্রীয় উপপাদগুলির গণ্য ব্যাখ্যার সাথে সম্পর্কিত। যদি আমরা বি স্থির হতে পারি, তবে আমরা সংজ্ঞা দিই

জেএ = (এ -> বি) -> এ

এটি শক্তিশালী মোনাদ এটি দেখানো সহজ। জেএ -> এ পিয়ার্সের আইন হিসাবে আমরা একে "নির্বাচন মনড" বা "পিয়ার্স মনাদ" বলি। প্রকৃতপক্ষে, আপনি আপনার পোস্টে উল্লিখিত আপাতদৃষ্টিতে অযৌক্তিক উপপাদ্যটি উদাহরণস্বরূপ, টাইচোনফ উপপাদ্যের মতো অকার্যকর নীতির ব্যাখ্যা করার জন্য আমাদের কাজের ভিত্তি। আমাদের কিছু কাগজপত্র দেখুন, যেমন

মার্টন এসকার্ডি এবং পাওলো অলিভা। সিক্যুয়ালিয়াল গেম এবং সর্বোত্তম কৌশল রয়্যাল সোসাইটির এ, 467: 1519-1545, 2011 এর কার্যক্রম।

মার্টন এসকার্ড পাওলো অলিভা, পিয়ার্স অনুবাদ। খাঁটি এবং প্রয়োগযুক্ত যুক্তির অ্যানালিস, 163 (6): 681-692, 2012।

বা অন্যরা আমাদের ওয়েবপৃষ্ঠায় পাওয়া গেছে: http://www.eecs.qmul.ac.uk/~pbo/

"নির্বাচন ফাংশন" বা "গেম" উল্লেখ করে এমন কোনও কাগজ আপনি যে অপারেটরের বিষয়ে জিজ্ঞাসা করছেন তার সাথে সম্পর্কিত।

আমাকে অবশ্যই সতর্ক করতে হবে যে আমরা এই অপারেটরটি অন্তর্নিহিত (ন্যূনতম) যুক্তি স্থাপনের ক্ষেত্রে অধ্যয়ন করছি। তবে আমি এটি খুব আকর্ষণীয় বলে মনে করি যে আপনি লিনিয়ার যুক্তি এবং লুকাশিভিজ যুক্তির আরও পরিশ্রুত (কাঠামোগত) সেটিংসে এটি দেখছেন।

শুভেচ্ছা, পাওলো।

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.