در فصل اول این پایان نامه به تعریف انواع جبرهای استلزامی و فیلترهای آنها پرداخته و سپس قضایای نمایش را در مورد آنها بررسی می کنیم. در فصل دوم ‏‎s‎‏ و ‏‎r‎‏ و ‏‎-ql‎‏ استلزام را تعریف کرده و پس از تعریف انواع استلزام قضایایی را در مورد آنها می آوریم . در فصل سوم ابتدا لیستی از عملگرهای استلزام شناخته شده را ارائه و سپس نوع جبر و بعد از آن خواص ذکر شده در فصل اول و دوم را در مورد آنها بررسی می کنیم. در فصل چهارم با استفاده از نتایج و فصل قبل فیلترهای جبرهای استلزامی را بررسی می کنیم. در فصل پنجم با استفاده از نتایج حاصله عملگرهای استلزام را رده بندی خواهیم کرد.