搜索结果: 1-1 共查到“数理逻辑与数学基础 Provability”相关记录1条 . 查询时间(0.062 秒)
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 ...