搜索结果: 1-3 共查到“数理逻辑与数学基础 Logic”相关记录3条 . 查询时间(0.081 秒)
We sharpen H丩ajek乫s Completeness Theorem for theories
extending predicate product logic, 儺佂. By relating provability
in this system to embedding properties of ordered abelian groups
we construct a ...
In this paper, the quantum logical ‘or’ is analyzed from a physical perspective.
We show that it is the existence of EPR-like correlation states for the quantum
mechanical entity under consideration...