منطق جبری عبارت است از بررسی و ساخت ساختارهایی جبری از یک منطق برای شناخت و تحقیق بر روی آن و گاه بالعکس. در حقیقت، منطق جبری شاخه ای مشترک از منطق و جبر است. بعد از تحقیقات و بررسی های جورج بول و اگوستوس دمورگان بر روی منطق کلاسیک مشخص شد که با استفاده از این منطق می توان ساختاری جبری ساخت که دارای ارتباط عمیقی با منطق کلاسیک است. امروزه این ساختار جبری را جبر بول می نامیم. در طول قرن بیستم با...

در این پایان نامه ابتدا مشبکه های مانده و ساختارهای جبری bl و mv جبرها و جبر هایتینگ معرفی می شوند. مشبکه های مانده ای بازه ی مقدار (ivrl) و جبرهای مثلثی را با دو عملگر یکتایی ?,? و یک ثابت غیر قطعی u متفاوت از 0 و 1 را تعریف می کنیم و ثابت می کنیم که یک نگاشت یک به یک بین کلاسی از (ivrl) ها و کلاسی از جبرهای مثلثی وجود دارد و نشان می دهیم هر (ivrl ) توسیع یافته یک جبر مثلثی است و بر عکس هر جب...

در این پایان نامه مفهوم توسیع های هاپف-گالوایی را که می تواند به دید کلاف اساسی اساسی نیز در نطر گرفته شود، به مفهوم توسیع هم-جبری گالوایی تعمیم داده می شود. همچنین دوگان این مفهوم تحت عنوان هم-توسیع های جبری نیز تعریف می شود. نشان داده می شود برای هر توسیع هم-جبری گالوایی و هم چنین هر هم-توسیع جبری یک نگاشت به هم پیچنده ی یکتا وجود دارد. همچنین مفهوم کلاف اساسی هم-جبری نیز به عنوان تعمیم مفهوم...

در این پایان نامه بر آنیم تا رابطه میان مجموعه های ناهموار و مشبکه های مانده را مورد مطالعه قرار دهیم. برای این منظور ابتدا به بیان تعاریف و مفاهیمی مانند رابطه، ساختار جبری، مشبکه های مانده، ‎$mv$-‎جبرها و مجموعه های ناهموار پرداخته و برخی از خواص آن ها را ارائه می دهیم. ‎ در فصل دوم ارتباط میان مجموعه های ناهموار و ‎$mv$-‎جبرها را مطالعه می کنیم. در فصل سوم به مطالعه خواص و ارتباط مجموعه ها...

در این مقاله، مروری داریم بر منطق کلاسیک و جبر مربوط به آن، سپس مفهوم جبری کردن منطق های غیرکلاسیک را مورد مطالعه قرار می دهیم و مثالهایی از آن را با دید جبری می آوریم. جبر منطق چندارزشی پایه BL را مطالعه کرده، تعمیم های آن را بررسی می کنیم. در پایان، آخرین تحقیقات بر روی این تعمیم ها را مطرح می کنیم.

در این رساله به بحث و بررسی بعضی از خواص be -جبرها که بعنوان تعمیمی از bck - جبرها می باشند می پردازیم. محتوی این رساله از 5 فصل به شرح ذیل تشکیل شده است. فصل 1. در این فصل مفاهیم و تعاریف اولیه که در فصل های بعد مورد استفاده قرار می گیرد، آورده شده است. در فصل 2 رابطه این ساختار جبری با ساختارهای جبری دیگر بررسی شده است. در فصل 3 فیلترهای مختلف روی ای جبر تعریف شده است. در فصل 4 خواص ساختاری...

mv-جبرهای مغلوب بولی تعمیم واضحی از mv-جبرهای ابرارشمیدسی است. در این پایان نامه با شناخت و معرفی mv-جبرهای خاص مانند mv-جبرهای موضعا متناهی، موضعی، کامل و ابرارشمیدسی گامی در جهت شناخت mv-جبرهای مغلوب بولی برداشته است و رابطه آنها را با mv-جبرهای مغلوب بولی در قضایایی بیان کرده است. نتایج مهم این پایاننامه درباره mv-جبرهای مغلوب بولی است.

بررسی تطبیقی مسأله جبر در تفسیر کبیر فخر رازی و تفسیر المیزان علامه طباطبایی جبر و اختیار یکی از قدیمی ترین مباحث کلامی در عالم اسلام است که تفکر و تدبر در آیات قرآنی سبب طرح آن گردید. متکلمان و مفسران اسلامی در تفسیر این گونه آیات به دو دسته جبری و قدری تقسیم شدند. فخررازی که از مهم ترین مفسران و متکلمان اشعری است سعی بسیاری در اثبات نظریه جبر و برهانی نمودن آن می نماید. نظریه او در این زمینه ...

هدف این پایان نامه ، طبقه بندی جدید و کاملی از ساختار های مختلط تعمیم یافته بر روی جبر های لی حقیقی با بعد پایین است . ما توانستیم با استفاده از فرمالیسم چند لنگه ای روی گروههای لی و نیز نمایش الحاقی ، شکل جبری مربوط به معادلات تانسوری حاکم بر تانسور های j و p و q در یک ساختار مختلط تعمیم یافته را بدست آوریم . سپس با استفاده از نرم افزار maple این معادلات جبری را حل کرده و ساختار های مختلط تعمی...

بررسی تطبیقی مسأله جبر در تفسیر کبیر فخر رازی و تفسیر المیزان علامه طباطبایی جبر و اختیار یکی از قدیمی ترین مباحث کلامی در عالم اسلام است که تفکر و تدبر در آیات قرآنی سبب طرح آن گردید. متکلمان و مفسران اسلامی در تفسیر این گونه آیات به دو دسته جبری و قدری تقسیم شدند. فخررازی که از مهم ترین مفسران و متکلمان اشعری است سعی بسیاری در اثبات نظریه جبر و برهانی نمودن آن می نماید. نظریه او در این زمینه ...