| logic hình thức | logic toán học | logic biểu tượng | logic vị từ |
| phép tính mệnh đề | hệ thống logic | lập trình logic | logic thông tin |
| logic mệnh đề | logic suy diễn | logic hình thức hóa | logic hình thức và nội dung |
| logic hình thức và ngữ nghĩa | logic hình thức và quy tắc | logic hình thức và chứng minh | logic hình thức và lập luận |
| logic hình thức và toán học | logic hình thức và triết học | logic hình thức và ngôn ngữ | logic hình thức và hệ thống |