摘要：在维瑟（Albert Visser）的基本命题逻辑（BPL）基础上增加公理（p→q）∨（（p→q）→p）得到的逻辑LB相对于弱连通传递框架类是完全的。增加达米特（M.Dummett）公理（p→q）∨（q→p）得到的逻辑LD是不完全的。本文还证明LB具有有穷模型性质,但是不具有两常元性质和析取性质。
分类：期刊> 自然科学与工程技术> 基础科学> 基础科学综合
收录：知网收录(中) > 维普收录(中) > 万方收录(中) > 国家图书馆馆藏 > 上海图书馆馆藏
关键词：基本命题逻辑 弱连通性 逻辑性质
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
