The definition of formal deductive system PL** corresponding to pseudo-R0algebras and some important properties of formal deductive system PL** are given.
给出了相应于广义R0-代数的PL*公理体系的定义及PL*公理体系的若干重要性质。
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号