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

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