马雷克·诺瓦克 某些次协调逻辑的克里普克语义。 （英语） Zbl 0916.03021号 日志。三角座 2, 87-101 (1998). 摘要：本文讨论了七个命题次协调逻辑。其中四个是基于直觉主义的肯定逻辑：约翰逊的最小逻辑，它的两个弱点和它由排除中间律扩展。其余三个是具有经典正基的对应项。对于所有逻辑，都提供了Kripke风格的语义。 引用于1文件 MSC公司： 03B53号 准一致逻辑 关键词：可能世界语义；命题次协调逻辑；约翰逊极小逻辑；排中律；克里普克风格语义学 PDF格式BibTeX公司 XML格式引用 \textit{M.Nowak}，日志。Trianguli 2，87--101（1998；Zbl 0916.03021）