科研之友
微信
新浪微博
Facebook
分享链接
摘要
We present a constructive analysis of the logical notions of satisfiability and consistency for first-order intuitionistic formulae. In particular, we use formal topology theory to provide a positive semantics for satisfiability. Then we propose a %26quot;co-inductive%26quot; logical calculus, which captures the positive content of consistency.
- 出版日期2012-2
