Algebraic semantics (mathematical logic)
गणितीय तर्क में, बीजगणितीय शब्दार्थ एक औपचारिक शब्दार्थ है जो बीजगणितीय तर्क के हिस्से के रूप में अध्ययन किए गए बीजगणित पर आधारित है। उदाहरण के लिए, मोडल लॉजिक S4 को टोपोलॉजिकल बूलियन अल्जेब्रा के वर्ग द्वारा चिह्नित किया जाता है-यानी, एक आंतरिक प्रचालक के साथ बूलियन अल्जेब्रा। अन्य मोडल लॉजिक्स को ऑपरेटरों के साथ विभिन्न अन्य अल्जेब्रा द्वारा चिह्नित किया जाता है। बूलियन बीजगणित का वर्ग शास्त्रीय प्रस्तावक तर्क और हेयटिंग बीजगणित प्रस्तावक अंतर्ज्ञानी तर्क का वर्ग है। एम. वी.-बीजगणित, लुकासिविक्ज़ तर्क के बीजगणितीय शब्दार्थ हैं। यह भी देखें कि बीजगणितीय शब्दार्थ (कंप्यूटर विज्ञान) लिंडेनबाम-टार्स्की बीजगणित आगे पढ़ने के लिए (2009 में ए. एस. एल. द्वारा दूसरा प्रकाशित) प्रोजेक्ट यूक्लिड में ओपन एक्सेस गैर-शास्त्रीय तर्कशास्त्र के पूर्व संपर्क वाले पाठकों के लिए अच्छा परिचय लेकिन क्रम सिद्धांत और/या सार्वभौमिक बीजगणित में अधिक पृष्ठभूमि के बिना; पुस्तक इन पूर्व शर्तों को विस्तार से शामिल करती है। हालाँकि, अमूर्त बीजगणितीय तर्क परिणामों की खराब और कभी-कभी गलत प्रस्तुति के लिए पुस्तक की आलोचना की गई है। गणितीय तर्क