多值逻辑中所有极大封闭集之确定问题 |
| |
引用本文: | 罗铸楷.多值逻辑中所有极大封闭集之确定问题[J].数学学报,1980,23(1):152-156. |
| |
作者姓名: | 罗铸楷 |
| |
作者单位: | 湘潭大学 |
| |
摘 要: | <正> 在 K 值逻辑理论中,函数系的完备性之判定问题是一个基本而重要的问题.此问题的彻底解决依赖于定出 K 值函数集 P_K 中的所有极大封闭集.Post 和分别定出了 P_2 与 P_3中的所有极大封闭集.对于一般的 K,王湘浩教授证明了 P_K 中任一极大封闭集必是某一个保 m 项关系的函数集,2≤m≤K;同时还提出了两类新的函数集:广
|
收稿时间: | 1964-9-28 |
修稿时间: | 1979-5-9 |
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《数学学报》浏览原始摘要信息 |
| 点击此处可从《数学学报》下载免费的PDF全文 |
|