| logic | logic học | logic hình thức | logic đại số |
| logic mệnh đề | logic suy diễn | logic toán học | logic hình học |
| logic phi hình thức | logic toán tử | logic rời rạc | logic xác suất |
| logic mờ | logic bậc cao | logic quy nạp | logic suy diễn hình thức |
| logic toán học ứng dụng | logic toán học thuần túy | logic hình thức hóa | logic phân tích |