বিমূর্ত মডেল তত্ত্ব

গাণিতিক যুক্তিতে, বিমূর্ত মডেল তত্ত্ব হলো মডেল তত্ত্বের একটি সাধারণীকরণ। এটি প্রথম-ক্রম যুক্তি এবং এর মডেলগুলোর সম্প্রসারণের সাধারণ বৈশিষ্ট্য নিয়ে আলোচনা করে। Institution-independent model theory by Răzvan Diaconescu 2008  page 3

বিমূর্ত মডেল তত্ত্ব আমাদেরকে বিভিন্ন যুক্তি ও তাদের সম্পর্ক নিয়ে একটি বিস্তৃত ধারণা প্রদান করে। এটি একটি পদ্ধতি হিসেবে কাজ করে, যা বিভিন্ন ধরনের যুক্তির মধ্যকার সম্পর্ক বুঝতে সাহায্য করে।Handbook of mathematical logic by Jon Barwise 1989  page 45 বিমূর্ত মডেল অধ্যয়নের সূচনা ঘটে লিন্ডস্ট্রোমের উপপাদ্য থেকে, যা এই ক্ষেত্রে গুরুত্বপূর্ণ উদাহরণ তৈরি করেছিল।Jean-Yves Béziau Logica universalis: towards a general theory of logic 2005  pages 20–25

১৯৭৪ সালে জন বারওয়াইজ বিমূর্ত মডেল তত্ত্বের জন্য একটি স্বতঃসিদ্ধকরণ প্রদান করেনJ. Barwise, 1974 , Annals of Mathematical Logic 7:221–265

 এছাড়াও দেখুন 
 লিন্ডস্ট্রোমের উপপাদ্য
 প্রতিষ্ঠান (কম্পিউটার বিজ্ঞান)
 প্রাতিষ্ঠানিক মডেল তত্ত্ব

 তথ্যসূত্র 

 আরও পড়ুন 



বিষয়শ্রেণী:গাণিতিক যুক্তিবিজ্ঞান