搜索筛选:
搜索耗时3.0824秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：钟盛阳,
来源：逻辑学研究 年份：2017
本文展示了量子物理中一个状态-性质对偶关系的形式化.在性质方面,Piron证明了Piron格（最初被称为不可分解的命题系统）刻画了量子系统的可测试性质所组成的结构.在状态方面,我...
[学位论文] 作者：钟盛阳,
来源：中山大学 年份：2018
...
[学位论文] 作者：钟盛阳,
来源：中山大学 年份：2011
模态逻辑的经典语义是Kripke关系语义。自上世纪50年代末此语义提出以来，大量学者对此进行了深入的研究，得到了一大批理论和应用方面的成果。实际上，在更早的时候，Alfred Tarski和Mckinsey就已经提出了模态逻辑的拓扑语义。他们在(Mckinsey and Tarski1944)中详细研......
相关搜索：
