| English | Japanese |
| algebra of logic | 論理代数 (ronri-daisū) |
| classical logic | 古典論理 (こてん・ろんり) |
| diode logic | ダイオード論理 (daiōdo-ronri) |
| diode logic circuit | ダイオード論理回路 (daiōdo-ronri-kairo) |
| diode-transistor logic | ダイオード・トランジスタ論理 (daiōdo-toranjisuta-ronri) |
| extensional logic | 外延的論理学 (がいえんてき・ろんりがく) |
| logic analysis | 論理分析 (ろんり・ぶんせき) |
| logic synthesis | 論理合成 (ろんり・ごうせい) |
| modal logic | 様相論理学 (ようそう・ろんりがく) |
| symbolic logic | 記号論理 (kigō-ronri) |
| theoretical logic | 理論的論理学 (りろんてき・ろんりがく) |
| three valued logic | 三値論理学 (さんち・ろんりがく) |
| threshold logic | 閾値論理 (いきち・ろんり) |
| transistor logic circuit | トランジスタ論理回路 (toranjisuta-ronri-kairo) |
| twovalue logic | 二値論理学 (にち・ろんりがく) |