搜索结果: 1-1 共查到“代数数论 noncommutative”相关记录1条 . 查询时间(0.015 秒)
Algebraic proofs over noncommutative formulas
Proof complexity Algebraic proof systems Frege proofs Lower bounds Polynomial calculus
2012/12/4
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least as strong as Frege, ...