搜索结果: 1-3 共查到“数理逻辑与数学基础 Logic”相关记录3条 . 查询时间(0.14 秒)
Provability in product logic
Provability product logic
font style='font-size:12px;'>
2015/9/30
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 ...
Why the Logical Disjunction in Quantum Logic is Not Classical
Not Classical Quantum Logic
font style='font-size:12px;'>
2015/7/30
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...
Association for Symbolic Logic（USA）
数理逻辑 逻辑符号 symbolic logic
font style='font-size:12px;'>
2007/12/21
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...