搜索结果: 1-3 共查到“数理逻辑与数学基础 logic”相关记录3条 . 查询时间(0.287 秒)
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...
The Association for Symbolic Logic is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publi...