রৈখিক যুক্তির পিছনে অন্তর্দৃষ্টি কী?

আমি রৈখিক ধরণের সিস্টেমগুলি আরও ভালভাবে বুঝতে লিনিয়ার যুক্তি বোঝার চেষ্টা করছি। যাইহোক, যখন আমি নিয়ম পড়া, আমি এটা পিছনে একটি স্বজ্ঞা পেতে হিসাবে আমি মোডাল যুক্তিবিজ্ঞান সম্পন্ন করেছি ব্যর্থ - অর্থ প্রয়োজন বোধ করা হয় হিসাবে ক্রিপকির ফ্রেম প্রত্যেক পৌঁছানো বিশ্বের জন্য প্রয়োজন বোধ করা হয় [ হল সম্ভাব্য প্রয়োজনীয় পরিবর্তন করা হইলে]। কিন্তু আমি একত্রে / অসম্বন্ধ যুগলের দ্বৈত কোন স্বজ্ঞাত ব্যাখ্যা এবং যা খুঁজে পাচ্ছি না (যদি থাকে) অনুরূপ এবং । $\Box A$ $A$ $A$ $\Diamond A$ $A$ $\land$ $\lor$

lo.logic type-theory linear-logic

— ম্যাকিয়েজ পাইচোটকা
সূত্র

জিরার্ডের মূল কাগজটি হ'ল আপনি যদি তাদের পিছনে অন্তর্দৃষ্টি বুঝতে চান তবে আপনার উচিত হওয়া উচিত। প্রশ্নটি খুব সাধারণ ইমো এবং উত্তরটি লিনিয়ার লজিকের জন্য উইকিপিডিয়া পৃষ্ঠাতে দেখা উচিত।

— কাভেঃ

আমি সম্মত হই যে এটি কিছুটা রুটি এবং অবশ্যই গবেষণা স্তর নয়, আপনার সিএস স্ট্যাক এক্সচেঞ্জে প্রশ্নটি করা উচিত। যাইহোক, আমি আপনাকে জিরার্ডের মূল কাগজটি লিনিয়ার যুক্তিতে প্রবেশের পয়েন্ট হিসাবে ব্যবহার করা থেকে নিরুৎসাহিত করব। সম্ভবত উইকিপিডিয়া শুরু করার জন্য আরও ভাল জায়গা।

— দামিয়ানো মাযজা

এটি বেশ বিস্তৃত। একটি পরামর্শ, সম্ভবত, সূত্রকে "মুদ্রা" হিসাবে বিবেচনা করা শুরু করা যেতে পারে যা সত্যের বক্তব্যের পরিবর্তে ব্যয় করা যায়। তারপরে, সংমিশ্রণটি

অর্থ হতে পারে আমরা

মুদ্রা এবং

কয়েন উভয়ই ব্যয় করতে পারি । আর এক ধরণের সংমিশ্রণটি

হতে পারে , এর অর্থ আমরা ব্যয়

এবং

খরচ করার (তবে উভয়ই নয়!) মধ্যে বেছে নিতে পারি। ড্যামিয়ানো যেমন পরামর্শ করেছে তেমন কিছু উইকিপিডিয়ায় আপনি খুঁজে পেতে পারেন।

a \otimes b

$a \otimes b$

a

$a$

b

$b$

a & b

$a \& b$

a

$a$

b

$b$

— চি

@চি আমি নিশ্চিত নই যে "রিসোর্স ব্যাখ্যা" এলএল-তে দ্বৈততা বোঝার সেরা উপায় is প্রক্রিয়া ব্যাখ্যা অনেক বেশি বোধগম্য।

— মার্টিন বার্গার

আমি নিশ্চিত নই যে এই প্রশ্নটি সিএসটিওরির জন্য আদর্শ, তবে এটি ইতিমধ্যে উক্ত সংস্থাগুলি সংগ্রহ করছে, এখানে প্রশ্নটি সিএস.স্ট্যাকেক্সেঞ্জারে পোস্ট করা হত যদি কেউ উত্তর দিতে পারে তবে এখানে একটি উত্তর দেওয়া হবে ।

$(\cdot)^{\bot}$ $A$

$A \otimes B$ $A$ $B$ $A \otimes B$ $(a, b)$ $a$ $A$ $b$ $B$

$(.)^{\bot}$ $A \otimes B$

(A \otimes B)^{⊥} = A^{⊥} ⅋ B^{⊥}

$(A \otimes B)^{\bot} \quad = \quad A^{\bot} ⅋ B^{\bot}$

$A^{\bot} ⅋ B^{\bot}$ $A \otimes B$

লিনিয়ার লজিকের সমতুল্য বিভাজনকে একই ধরণের প্রক্রিয়া-তাত্ত্বিক পাঠ দেওয়া যেতে পারে। সূত্রটি

A & B

$A\ \&\ B$

$A$ $B$ $A \& B$ $A \& B$ $A$ $B$ $if/then/else$ $(A \& B)^{\bot}$ $A \& B$

(A & B)^{⊥} = A^{⊥} \oplus B^{⊥}

$(A \& B)^{\bot} \quad = \quad A^{\bot} \oplus B^{\bot}$

$A \& B$ $A$ $B$ $if\ true\ then\ P\ else\ Q$ $P$ $if\ false\ then\ P\ else\ Q$ $Q$ $A$ $B$

A

$A$

! A

$!A$

A

$A$

$A \vdash A$ $A^{\bot}$ $A$

এই প্রক্রিয়া-তাত্ত্বিক ব্যাখ্যামূলক প্রভাবশালী হয়েছে এবং অধিবেশন ধরণের জন্য যেমন (2) এর মতো অনেক ফলো-আপ কাজের জন্ম দিয়েছে। তবুও, এমন কয়েকটি প্রান্তের কেস রয়েছে যা এটিকে কিছুটা বিশ্রী করে তোলে এবং আমার জ্ঞানের সেরাটি হিসাবে এটি 2017 এ এমনকি সম্পূর্ণ রৈখিক যুক্তির জন্য নিখুঁতভাবে কাজ করা হয়নি ।

_{1. এস। আব্রামস্কি, লিনিয়ার লজিকের গণ্য ব্যাখ্যামূলক ।

2. পি Wadler, সেশন যেমন প্রস্তাবের ।

৩. উইকিপিডিয়া, প্রুফ নেট ।}

— মার্টিন বার্গার
সূত্র