数理論理学

すうりろんりがく

Logique mathématique

数学的論理学

すうがくてきろんりがく

logique mathématique

形式論理学

けいしきろんりがく

logique formelle

記号論理学

きごうろんりがく

Logique symbolique.

二値論理学

にちろんりがく

logique à deux valeurs

多値論理学

たちろんりがく

logique multivaluée, logique multivaluée

様相論理学

ようそうろんりがく

Logique modale.

二階論理学

Logique d'ordre 2.

古典論理学

こてんろんりがく

logique classique

命題論理学

めいだいろんりがく

logique propositionnelle

名辞論理学

めいじろんりがく

logique des termes

演繹論理学

えんえきろんりがく

logique déductive

高階論理学

Logique d'ordre supérieur.

時間論理学

Logique temporelle.

帰納論理学

きのうろんりがく

logique inductive

伝統的論理学

でんとうてきろんりがく

logique traditionnelle

弁証法的論理学

べんしょうほうてきろんりがく

logique dialectique

理論物理学

りろんぶつりがく

Physique théorique

理論化学

りろんかがく

Chimie théorique