উত্তর:
টেম্পোরাল লিনিয়ার লজিক (এলটিএল = লিনিয়ার-টাইম টেম্পোরাল লজিকের বিপরীতে) উত্পাদন করার জন্য লিনিয়ার লজিকের ক্ষেত্রে টেম্পোরাল রূপগুলি যুক্ত করার কাজ আমি জানি । এটি বেশ আকর্ষণীয়: একটি সূত্র (কোনও বিন্যাস ছাড়াই) এখন সংস্থানসমূহ হিসাবে উপলব্ধ হিসাবে ব্যাখ্যা করা হয় । পরের বারের মোড্যালিটি পরবর্তী সময়ে পদক্ষেপে সংস্থান হিসাবে উপলব্ধ হিসাবে ব্যাখ্যা করা হয়। বক্স প্রকারতা ◻ - মানে যে সম্পদ ভবিষ্যতে যেকোনো সময় খাওয়া যাবে না, সম্পদের ধারক দ্বারা নির্ধারিত , যেহেতু ◊ - মানে যে সম্পদ সময় যে কোনো স্থানে খাওয়া যাবে সিস্টেম দ্বারা নির্ধারিত। সংস্থান এবং সিস্টেমের ধারকের মধ্যে দ্বৈততা লক্ষ্য করুন uality
বনবাড়া, এম।, কং, কে.এস., হিরাই, টি।, তমুরা, এন .: অন্তর্নিজ্ঞাত টেম্পোরাল লিনিয়ার লজিকের একটি খণ্ডে লজিক প্রোগ্রামিং । ইন: কোডডনেট, পি। (সম্পাদনা) আইসিএলপি 2001. এলএনসিএস, খণ্ড। 2237, পিপি 315–330। স্প্রিংগার, হাইডেলবার্গ (2001)
হিরাই, টি .: প্রস্তাবিত অস্থায়ী লিনিয়ার যুক্তি এবং সমবর্তী সিস্টেমগুলিতে এর প্রয়োগ । ইইসি ইলেক্ট্রনিক্স, যোগাযোগ এবং কম্পিউটার বিজ্ঞানের মৌলিক বিষয়ে লেনদেন (সমবর্তী সিস্টেম প্রযুক্তি সম্পর্কিত বিশেষ বিভাগ) E83- এ (11), 2219-22227 (2000)
হিরাই, টি .: অস্থায়ী লিনিয়ার যুক্তি এবং এর প্রয়োগ । পিএইচডি থিসিস, গ্রাজুয়েট স্কুল অফ সায়েন্স অ্যান্ড টেকনোলজি, কোবে বিশ্ববিদ্যালয়, জাপান (সেপ্টেম্বর 2000)।
কামিদে, এন .: লজিক ভলিউম 36: 3/4 (2007) এর বিভাগের লিনিয়ার লজিক বুলেটিনকে টেম্পোরোরালাইজিং করা হচ্ছে, পৃষ্ঠা 173–182
লিনিয়ার এবং অ্যাফাইন যুক্তিগুলিতে কয়েকটি প্রকারের প্রকারের মডেলগুলি যুক্ত করা হয়েছে:
কামাইড, এন .: সাময়িক, স্থানিক এবং এপিস্টেমিক লজিকসের সাথে লিনিয়ার এবং অ্যাফাইন লজিক্স । তাত্ত্বিক কম্পিউটার বিজ্ঞান 252, 165–207 (2006)।
কামিদে, এন: সফট লিনিয়ার লজিক এবং স্প্যাটিও-টেম্পোরাল অপারেটরগুলির সংমিশ্রণ । জে লজিক গণনা (2004) 14 (5): 625-650।
টেম্পোরাল লিনিয়ার লজিকের কাজটি এজেন্ট-ভিত্তিক প্রোগ্রামিং এবং সমন্বয় ক্ষেত্রে প্রয়োগ করা হয়েছে, যা উপরে বর্ণিত পদ্ধতিগুলির ব্যাখ্যাটির প্রয়োজনীয় ব্যবহার করে:
কুঙ্গাস, পি .: প্রতীকী এজেন্ট আলোচনার জন্য অস্থায়ী লিনিয়ার যুক্তি । ইন: ঝাং, সি, ডাব্লু। গুয়েজেন, এইচ।, ইয়াপ, ডব্লিউ- কে। (সংস্করণ) PRICAI 2004. এলএনসিএস, খণ্ড। 3157, পৃষ্ঠা 23-32। স্প্রিংগার, হাইডেলবার্গ (2004)
ফ্যাম, ডিকিউ, হারল্যান্ড, জে।, উইনিকফফ, এম .: অস্থায়ী রৈখিক যুক্তিতে মডেলিংয়ের এজেন্টের পছন্দ । ইন: বালদোনি, এম।, সোন, টিসি, ভ্যান রিমসদিজক, এমবি, উইনিকফ, এম (অ্যাড।) ডাল্ট 2007. এলএনসিএস, খণ্ড। 4897, পৃষ্ঠা 140-1515। স্প্রিংগার, হাইডেলবার্গ (২০০৮)
ক্লার্ক, ডি সমন্বয়: রেও, নেট এবং লজিক । এফএমসিও কার্যক্রম, এলএনসিএস, খণ্ড 5382. (2008)
ভাষাবিজ্ঞানে এই জাতীয় যুক্তি বিবেচনা করা হয়: আপনি মাইকেল মুরগেটের নিবন্ধ, শ্রেণিবদ্ধ টাইপ লজিকটি একবার দেখে নিতে পারেন ।
! লিনিয়ার লজিকের একটি মড্যালিটি হ'ল একটি বক্স অপারেটর যা এস 4 অক্ষগুলিকে সন্তুষ্ট করে।
এটি সুপরিচিত যে! এ এর স্বতন্ত্রতা উপার্জনযোগ্য নয় - এটি যদি আপনার একটি লাল ব্যাং এবং একটি নীল ব্যাং থাকে তবে উভয়ই পৃথকভাবে ব্যাংয়ের নিয়ম পূরণ করে, আপনি প্রমাণ করতে পারবেন না যে তারা সমতুল্য। এই ফলাফলটি কোথায় পাওয়া যাবে তা আমি মনে করি না, তবে এটি সম্ভবত জিরার্ডের লিনিয়ার যুক্তি সম্পর্কিত 1987 এর গবেষণাপত্রে রয়েছে।
সম্পাদনা: আমি জেসন রিডকে জিজ্ঞাসা করলাম, যার থিসিসটি হাইব্রিড লজিককে লিনিয়ার লজিকের এনকোডিং সম্পর্কে ছিল এবং তিনি আমাকে চৌধুরী মাতৃবিজ্ঞানের সাথে অ্যাপ্লিকেশন সহ কন্সট্রেইনড প্রসেস ক্যালকুলি দ্বারা নীচের কাগজটিতে "ইঙ্গিত করলেন" । তারা সাময়িক যুক্তিকে আয়না করার উদ্দেশ্যে হাইব্রিড টীকাগুলি সহ স্বজ্ঞাত লিনিয়ার যুক্তি প্রসারিত করে এবং তারা এটির একটি খুব পরিষ্কার কাজ করেছে - তারা প্রমাণ করে যে কেবল কাটা-নির্মূলকরণ নয়, তবে কেন্দ্রিককরণও রয়েছে। সুতরাং দেখে মনে হচ্ছে মোডাল কে ল লা সিম্পসন পেতে তাদের ক্যালকুলাসটি সহজ করা সহজ হওয়া উচিত।
বর্তমানে, সর্বাধিক ব্যবস্থাবদ্ধ প্রমাণ তত্ত্ব যা বহু কাঠামোগত লজিককে অনেকগুলি মডেল লজিকসকে স্তরযুক্ত করার অনুমতি দেয় তা হ'ল বেল্নাপের প্রদর্শন যুক্তি, যা বিশেষত তার মডেল ডিসপ্লে লজিকের শক্তি এবং দুর্বলতা মার্কস ক্র্যাচ্টের হাতে একটি শালীন আচরণ পেয়েছিল , 1996— এবং হেনরিচ ওয়ানসিং, প্রদর্শন মডেল লজিক , 1998।
স্ট্রাকচারের ক্যালকুলাসে রূপরেখার উপস্থাপনের বিষয়ে কিছু ধারণা প্রয়োগ করার জন্য কিছু বছর আগে এমএসসি থিসির বেশ কয়েকটি প্রেরণার পিছনে অন্যতম অনুপ্রেরণা ছিল ডিসপ্লে লজিকের সমস্যাহীন যুক্তি পরিচালনা করতে সমস্যা রয়েছে, যা কাঠামোগত লজিকের প্রতিনিধিত্ব করার জন্য খুব শক্তিশালী, তবে দৌড়ে সমস্যাগুলির মধ্যে কারণ অস্বাভাবিক উপায়ে কাটা-নির্মূলকরণ সেটিংয়ে প্রমাণিত। অ্যালবামের পরিবারগুলি থেকে মডেল লজিকের নিয়ম তৈরির বিষয়ে রবার্ট হেইনের কাজ, আনলভেলিংয়ের মাধ্যমে বিশুদ্ধতায় সংক্ষিপ্তসার, ২০০৫, বেশিরভাগ সাধারণ লজিককে অন্তর্ভুক্ত করে (সর্বাধিক গুরুত্বপূর্ণ অক্ষগুলি বি, সিআর এবং এল অন্তর্ভুক্ত নয়) এবং কাটা-নির্মূলের অনুমানকে বিশ্বাস করার পক্ষে যথেষ্ট শক্তিশালী পরিস্থিতি প্রমাণ রয়েছে। এই কাজের কোনওটিই আসলে কাঠামোগত যুক্তিকে বিবেচনা করে না, তবে যদি এই শক্তির জন্য একটি শক্তিশালী ধরণের কাট-নির্মূলের উপপাদ্য প্রমাণিত হয়, তথাকথিত বিভাজনকারী লেমা, এটি যুক্তিটিকে খুব মডুলার করে তুলবে এবং কাটা-নির্মূলকরণের সমস্ত উপায় সহজেই অনুসরণ করা উচিত লজিক একসাথে gluing।
কাঠামোগত যুক্তির প্রকৃতপক্ষে শব্দার্থবিজ্ঞানের অভিন্ন ধারণা নেই, তবে আধুনিক কাঠামোগত যুক্তির জন্য আমাদের কাছে বেস লজিকের শব্দার্থকে ম্যাডাল মডিক লজিকের শব্দার্থে রূপান্তর করার জন্য একটি ধরণের রেসিপি রয়েছে, এটি একটি ধারণার সাথে একটি ট্রেস-জাতীয় শব্দার্থিক বাড়াতে পেরে অপারেটরের ধারণা সহ ফ্রেম বা একটি বীজগণিত / শ্রেণিবদ্ধ শব্দার্থক। ক্র্যাচট এবং وانসিং এই উভয় দিক থেকেই কিছু কাজ করে।
আমি নরিহিরো কামিদে, "ক্রিপকে সেমেন্টিক্স ফর মডেল সাবস্ট্রাকচারাল লজিকস", জার্নাল অফ লজিক, ভাষা ও তথ্য ১১ (৪) , ২০০২-এ স্কিমিং করছি , যা আমি চেয়েছিলাম তা পুরোপুরি নয়, তবে উল্লেখগুলি মার্সেলো ডি'গোস্টিনো এবং ডভকে উদ্ধৃত করেছে। এম। গ্যাবে এবং আলেসান্দ্রা রুসো, "স্ট্র্যাচারাল ইমপ্লিকেশন সিস্টেমে গ্রাফটিং মোডালটিস", স্টুডিয়া লজিকা 59 , 1996, যা মনে হচ্ছে আমি যা খুজছি । এটি সিটিসিয়ারে http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.5719 এ রয়েছে