一个极小的弗协调逻辑系统

从C_(ω).去掉双重否定律可得到一个比科斯塔弗协调逻辑系统C_(ω).更小的系统。它有一个克里普克语义解释;论文证明了该系统相对于该解释既是可靠的又是完全的。