Disjunctive命题理论的抽象模型

本文将从理论模型角度研究Disjunctive命题理论,引入F-抽象模型、全抽象模型以及自由模型等概念,讨论他们的性质和关系.
Disjunctive命题理论 抽象模型 自由模型
陈婕 陈仪香
上海师范大学数理信息学院,上海,200234
国内会议
西安
中文
13-16
2006-10-01(万方平台首次上网日期,不代表论文的发表时间)
Disjunctive命题理论 抽象模型 自由模型
陈婕 陈仪香
上海师范大学数理信息学院,上海,200234
国内会议
西安
中文
13-16
2006-10-01(万方平台首次上网日期,不代表论文的发表时间)