Category:形式論理体系

ウィキメディア・コモンズに関連カテゴリがあります。

Systems of formal logic

形式論理のシステム（英語版）に関するカテゴリ。

これらのシステムは、論理の形式的研究のための構文と意味論を提供する。