論理学

ろんりがく

Logique

時制論理

Logique temporelle.

数理論理学

すうりろんりがく

Logique mathématique

理論物理学

りろんぶつりがく

Physique théorique

理論化学

りろんかがく

Chimie théorique

学習理論

がくしゅうりろん

théorie de l'apprentissage

文学理論

ぶんがくりろん

théorie littéraire

理論哲学

りろんてつがく

philosophie théorique

論理哲学論考

Tractatus logico-philosophicus

数学的論理学

すうがくてきろんりがく

logique mathématique

時論

じろん

Opinion du jour, idées courantes.

実時間処理

じつじかんしょり

fonctionnement en temps réel

形式論理学

けいしきろんりがく

logique formelle

記号論理学

きごうろんりがく

Logique symbolique.

二値論理学

にちろんりがく

logique à deux valeurs

多値論理学

たちろんりがく

logique multivaluée, logique multivaluée

理論生物学

りろんせいぶつがく

biologie théorique

様相論理学

ようそうろんりがく

Logique modale.

二階論理学

Logique d'ordre 2.