公理模式相关论文
Hamilton的谓词形式系统中有这样两个公理模式：（（A↓xi）A→A）（其中xi不在A中自由出现）和（（（A↓xi）A（xi）→A（t））（其中项t对A（xi）中的xi是自由的）。在将Ha......
多模态逻辑是关于“包含多种模态的逻辑”的研究,它的系统内包含两种或两种以上模态算子,并且算子间不可归约。多模态逻辑旨在为研......
本文对学界普遍认可的命题逻辑语法完全性问题重新进行分析,认为:命题逻辑的语法完全性在逻辑上是一个关于形式系统和语义模型之间......
