প্রশ্ন ট্যাগ «sequent-calculus»

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

14 lo.logic  pl.programming-languages  sequent-calculus 

সর্বোত্তম সালে বাক্য এর ক্যালকুলাস কাগজ একটি নিয়ম বলে যে নেই (মূল নথির পিডিএফের পৃষ্ঠা 7, পৃষ্ঠা 101) এই নিয়মের অর্থ হ'ল যে প্রসঙ্গটি সেই প্রসঙ্গের সদস্যের পক্ষে হ্রাসযোগ্য। এটি মনে হচ্ছে এটি সঠিক হওয়া উচিত নয়, যেমন এটি জোর দেয় 1 ≅ Nat 3 ≅ Nat 1 ≅ 3 …

10 lo.logic  calculus-of-constructions  sequent-calculus 

কয়েক বছর আগে, আমি পরবর্তী ক্যালকুলাসের সাম্যের জন্য নীচের বাম-নিয়মটি পেরিয়েছি: s≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} এখানে, নির্ণয় সবচেয়ে সাধারণ unifier \ থেটা জন্য গুলি এবং টন , এবং তারপর উপসংহার substition প্রযোজ্য সি এবং সমস্ত প্রেক্ষাপটে অনুমানের \ …

10 reference-request  lo.logic  pl.programming-languages  proof-theory  sequent-calculus