A Course in BE-algebras

این کتاب یک دوره یکپارچه در BE-جبرا با مقدمه ای جامع، مبانی نظری کلی و چندین مثال ارائه می دهد. اساس نظری کلی جبرهای BE را معرفی می‌کند و سبکی معتبر را برای ارائه درک مفهومی موضوع به دانش‌آموزان اتخاذ می‌کند. جبرهای BE-ابزارهای مهمی برای تحقیقات معین در منطق جبری هستند، زیرا می‌توان آن‌ها را به‌عنوان قطعاتی از هر منطق گزاره‌ای در نظر گرفت که حاوی یک مفهوم پیوندی منطقی و ثابت \"1\" است که به عنوان مقدار منطقی "درست" در نظر گرفته می‌شود. در درجه اول برای دانشجویان فارغ التحصیل و کارشناسی ارشد ریاضیات طراحی شده است، همچنین به محققان و ریاضیدانان کمک می کند تا پایه ای قوی در جبر انتزاعی کاربردی ایجاد کنند. ارائه بینش در مورد برخی از تفکر انتزاعی که جبر انتزاعی مدرن را تشکیل می دهد، انتقالی از مباحث ابتدایی به موضوعات پیشرفته در جبرهای BE را فراهم می کند. با مثال‌ها و تمرین‌های فراوانی که بعد از هر بخش ترتیب داده می‌شود، مقدمه‌ای جامع و آسان در این زمینه به خوانندگان ارائه می‌دهد.

This book presents a unified course in BE-algebras with a comprehensive introduction, general theoretical basis and several examples. It introduces the general theoretical basis of BE-algebras, adopting a credible style to offer students a conceptual understanding of the subject. BE-algebras are important tools for certain investigations in algebraic logic, because they can be considered as fragments of any propositional logic containing a logical connective implication and the constant "1", which is considered as the logical value “true”. Primarily aimed at graduate and postgraduate students of mathematics, it also helps researchers and mathematicians to build a strong foundation in applied abstract algebra. Presenting insights into some of the abstract thinking that constitutes modern abstract algebra, it provides a transition from elementary topics to advanced topics in BE-algebras. With abundant examples and exercises arranged after each section, it offers readers a comprehensive, easy-to-follow introduction to this field.