Non-commutative multiple-valued logic algebras

این تک نگاری مقدمه ای مستقل و خوانا برای جبرهای منطقی چند ارزشی غیر تعویضی ارائه می دهد. موضوعی که در چند سال گذشته به دلیل تأثیر آن بر علم اطلاعات، هوش مصنوعی و سایر موضوعات مورد توجه بسیاری قرار گرفته است.

بررسی جدیدترین نتایج در این زمینه، مونوگراف شامل درمان شبه BCK است. جبرها، شبه حلقه ها، شبکه های باقیمانده، شبکه های باقی مانده قابل تقسیم محدود، جبرهای شبه MTL، جبرهای شبه BL و جبرهای شبه MV. این دیدگاه جدیدی را در مورد روندهای جدید در منطق و جبر ارائه می دهد که ساختارهای جبری را می توان به منطق های فازی توسعه داد که مکانیک کوانتومی، منطق ریاضی، نظریه احتمالات، جبر و محاسبات نرم را به هم متصل می کند.

به صورت واضح و مختصر نوشته شده است. و به روشی مستقیم، جبرهای منطقی چند ارزشی غیر تعویضی مورد توجه کارشناسی ارشد و دانشجویان دکترا، و همچنین محققان در منطق ریاضی و علوم کامپیوتر نظری خواهد بود.

This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-valued logic algebras; a subject which has attracted much interest in the past few years because of its impact on information science, artificial intelligence and other subjects.

A study of the newest results in the field, the monograph includes treatment of pseudo-BCK algebras, pseudo-hoops, residuated lattices, bounded divisible residuated lattices, pseudo-MTL algebras, pseudo-BL algebras and pseudo-MV algebras. It provides a fresh perspective on new trends in logic and algebras in that algebraic structures can be developed into fuzzy logics which connect quantum mechanics, mathematical logic, probability theory, algebra and soft computing.

Written in a clear, concise and direct manner, Non-Commutative Multiple-Valued Logic Algebras will be of interest to masters and PhD students, as well as researchers in mathematical logic and theoretical computer science.