句法的方法采用某种组合演算 形式，如希尔伯特型演算、自然演绎、根岑（Gentzen）演算、消解、表列等等。语义的方法采用外在 于公式集的（数学的）对象，如代数语义、关系语义、博弈理论语义等等。
基于96个网页-相关网页
应用推荐
模块上移
模块下移
不移动