科研之友
微信
新浪微博
Facebook
分享链接
摘要
We shed light on an old problem by showing that the logic LP cannot define a binary connective circle dot obeying detachment in the sense that every valuation satisfying phi and (phi circle dot psi also satisfies psi, except trivially. We derive this as a corollary of a more general result concerning variable sharing.
- 出版日期2013
