বীজগাণিতিক অর্থবিদ্যা (গাণিতিক যুক্তি)

গাণিতিক যুক্তিতে, বীজগাণিতিক অর্থবিদ্যা হল বীজগণিতের উপর ভিত্তি করে একটি আনুষ্ঠানিক শব্দার্থবিদ্যা যা বীজগাণিতিক যুক্তিবিদ্যার অংশ হিসাবে অধ্যয়ন করা হয়। উদাহরণস্বরূপ, মডেল লজিক S4 টপোলজিকাল বুলিয়ান বীজগণিতের শ্রেণী দ্বারা চিহ্নিত করা হয় — অর্থাৎ, একটি অভ্যন্তরীণ অপারেটর সহ বুলিয়ান বীজগণিত। অন্যান্য মডেল লজিক্স বিভিন্ন বীজগণিত দ্বারা চিহ্নিত করা হয়, যা অপারেটর সহ থাকে। বুলিয়ান বীজগণিতের শ্রেণী ঐতিহ্যগত প্রস্তাবিত যুক্তিবিজ্ঞানকে চিহ্নিত করে, এবং হেইটিং বীজগণিতের শ্রেণী প্রস্তাবিত অন্তর্দৃষ্টিপূর্ণ যুক্তিবিজ্ঞানকে চিহ্নিত করে। MV বীজগণিত হল Łukasiewicz লজিকের বীজগণিতীয় ভাষাতত্ত্ব।
 আরও দেখুন 
 বীজগাণিতিক তত্ত্ব
 বীজগাণিতীয় অভ্যন্তর
 বীজগাণিতিক সংজ্ঞা

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