首页> 中文期刊> 《内江师范学院学报》 >PL*公理体系的广义演绎定理

PL*公理体系的广义演绎定理

         

摘要

给出了相应于广义R0-代数的PL*公理体系的定义及PL*公理体系的若干重要性质.证明了PL*公理体系的[F]一定备性,最后给出了PL*公理体系中的广义演绎定理.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号