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