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