形式論理

けいしきろんり

形式逻辑。

論理形式

ろんりけいしき

逻辑形式

形式論

けいしきろん

形式主义

論理式

布尔(表达)式。

理論形

理论轮廓。

論理学

ろんりがく

（研究）逻辑

線形論理

せんけいろんり

线性逻辑

数理論理学

すうりろんりがく

数理逻辑

理論物理学

りろんぶつりがく

理论物理学

理論化学

りろんかがく

理论化学。

学習理論

がくしゅうりろん

学习理论

理論哲学

りろんてつがく

理论哲学

文学理論

ぶんがくりろん

文学理论

単純論理式

单纯逻辑表达式。

共形場理論

きょうけいばりろん

共形场论

数学的論理学

すうがくてきろんりがく

数理逻辑

記号論理学

きごうろんりがく

符号逻辑学。

様相論理学

ようそうろんりがく

模态逻辑

多値論理学

たちろんりがく

多值逻辑学。