論理学の表記 - mrsekut-p

論理学の表記

table:表記

そのもの自然演繹シークエント計算

古典論理 CK NK LK

直観主義論理 IL NJ LJ

ペアノの公理 PA

ハイティング算術 HA