| 二值命题逻辑中公式列的收敛性 | |
| 李骏; 蒙頔 | |
| 刊名 | 兰州理工大学学报
 |
| 2016 | |
| 期号 | 2016年04期页码:148-151 |
| 关键词 | 逻辑度量空间 度量收敛 赋值收敛 真度收敛 |
| ISSN号 | ISSN：1673-5196 |
| DOI | 10.13295/j.cnki.jlut.2016.04.030 |
| 英文摘要 | 在二值命题逻辑系统中给出公式列按真度收敛的定义,研究公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的. |
| URL标识 | 查看原文 |
| 语种 | 中文 |
| 内容类型 | 期刊论文 |
| 源URL | [http://119.78.100.223/handle/2XXMBERH/5318]  |
| 专题 | 兰州理工大学 |
| 作者单位 | 兰州理工大学理学院 |
| 推荐引用方式 GB/T 7714 | 李骏,蒙頔. 二值命题逻辑中公式列的收敛性[J]. 兰州理工大学学报,2016(2016年04期):148-151. |
| APA | 李骏,&蒙頔.(2016).二值命题逻辑中公式列的收敛性.兰州理工大学学报(2016年04期),148-151. |
| MLA | 李骏,et al."二值命题逻辑中公式列的收敛性".兰州理工大学学报 .2016年04期(2016):148-151. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论