শর্তাধীন লজিক হ'ল লজিক যা শর্তের অন্যান্য ধারণার সাথে সঙ্গতিপূর্ণ মডেল অপারেটরগুলির সাথে traditionalতিহ্যগত লজিক্যাল জড়িত সংযোজন (উদাহরণস্বরূপ, কার্যকারণীয় শর্তসাপেক্ষ) " এ কারণগুলি" বি ", বা সম্ভাব্য কন্ডিশনিং" এ | পড়েছে reads খ ", যা" এ প্রদত্ত বি ") ।
সাধারণত এই লজিকগুলি মডেল-তাত্ত্বিকভাবে অধ্যয়ন করা হয়, তবে আমি তাদের অ্যাপ্লিকেশনগুলি প্রোগ্রামিং ভাষার নকশায় (উদাহরণস্বরূপ, অত্যাবশ্যক ক্রিয়াগুলি টাইপ করতে) নিয়ে ভাবছি।
আমি তাদের প্রুফ তত্ত্বের (যেমন, পর্যায়ক্রমে ক্যালকুলাস / প্রাকৃতিক ছাড়) বা এই ধরণের মডেল অপারেটরের উপর ভিত্তি করে প্রোগ্রামিং ভাষাগুলির জন্য প্রবন্ধগুলি উপলব্ধি করব।
ধন্যবাদ!
সম্পাদনা: দ্য স্ট্যানফোর্ড এনসাইক্লোপিডিয়া অফ ফিলোসফি বিষয়টির একটি সুন্দর ভূমিকা রয়েছে ।
হ্যালো নীল, এটি বেশ আকর্ষণীয় মনে হচ্ছে। আমি গুগল "শর্তসাপেক্ষ লজিকস" চেষ্টা করেছিলাম কিন্তু খুব বেশি খুঁজে পাইনি। আপনি কি অনুগ্রহ করে সিএল সম্পর্কে আরও কিছু জানতে একটি সূচনাপত্র বা কিছু প্রস্তাব করতে পারেন? আপনাকে ধন্যবাদ
—
IamMeeoh