לוגיקה בוליאנית הוא ענף בלוגיקה מתמטית ובאלגברה בוליאנית המקבל את שמו ממפתחה הראשון, ג'ורג' בול. ענף זה עוסק בפסוקים אלגבריים שערכי איבריהם אמת או שקר בלבד. הערכים מיוצגים על ידי הסימונים ("שקר") בהתאמה. לענף שימוש רב בתחשיב פסוקים, באלקטרוניקה ובמדעי המחשב. מתוך ויקיפדיה

לוגי'ק פרו, לוגיסטיקה, לוגיקה, לוגיקה (מתמטיקה), לוגיקה אפיסטמית, לוגיקה דינמית, לוגיקה טמפורלית, לוגיקה טריוולנטית, לוגיקה טרינארית, לוגיקה מודאלית